Saying it with numerals
From MaRDI portal
Publication:1333314
DOI10.1305/NDJFL/1040609300zbMath0809.03002OpenAlexW2084235252MaRDI QIDQ1333314
Publication date: 29 March 1995
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040609300
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items (3)
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS ⋮ Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
This page was built for publication: Saying it with numerals