A Formalization of Recursive Arithmetic
From MaRDI portal
Publication:5779181
DOI10.2307/2371522zbMath0025.00502OpenAlexW2330243593MaRDI QIDQ5779181
Publication date: 1941
Published in: American Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2371522
Related Items
TWO (OR THREE) NOTIONS OF FINITISM ⋮ On the concept of finitism ⋮ The manuscripts of emil L. post ⋮ A simple proof of Parsons' theorem ⋮ GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE ⋮ Wittgenstein and finitism ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections
