Transactions of the American Mathematical Society · 1947 · 67 citations · 8 references
Natural SciencesComputer ScienceMathematicsAlgebraNumber TheorySet TheoryArithmetic FunctionsAxiomatic Set TheoryCardinal ArithmeticNumber-theoretic AlgorithmsPhilosophy Of NumberRecursion TheoryIntuitionistic ArithmeticPartial Recursive FunctionsRecursion TheoremRecursive FunctionsRecursive Sets
8
An Unsolvable Problem of Elementary Number Theory
Alonzo Church · American Journal of Mathematics · 1936 · 1.7K citations
On notation for ordinal numbers
S. C. Kleene · Journal of Symbolic Logic · 1938 · 762 citations
General recursive functions of natural numbers
S. C. Kleene · Mathematische Annalen · 1936 · 595 citations
A Set of Postulates for the Foundation of Logic
Alonzo Church · Annals of Mathematics · 1932 · 569 citations
Humanities, Mathematics, Philosophy +10
On the interpretation of intuitionistic number theory
S. C. Kleene · Journal of Symbolic Logic · 1945 · 540 citations