scientific article; zbMATH DE number 6308208
From MaRDI portal
Publication:4981738
zbMath1372.03014MaRDI QIDQ4981738
Publication date: 24 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Related Items (3)
Is there a ``Hilbert thesis? ⋮ Proving Things About the Informal ⋮ Structural relativity and informal rigour
This page was built for publication:
