A Formalization of Recursive Arithmetic
-
Published:1941-04
Issue:2
Volume:63
Page:263
-
ISSN:0002-9327
-
Container-title:American Journal of Mathematics
-
language:
-
Short-container-title:American Journal of Mathematics
Subject
General Mathematics
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Wittgenstein in the 1930s;2018-09-17
2. In Search of the Roots of Formal Computation;IFIP Advances in Information and Communication Technology;2016
3. On the concept of finitism;Synthese;2015-01-07
4. GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE;The Bulletin of Symbolic Logic;2014-12
5. Recursion, Induction;A Mathematical Prelude to the Philosophy of Mathematics;2014