Recursive functionals and quantifiers of finite types. I

An Unsolvable Problem of Elementary Number Theory

Alonzo Church · American Journal of Mathematics · 1936 · 1.7K citations

Natural Sciences, Computer Science, Mathematics +11

On notation for ordinal numbers

S. C. Kleene · Journal of Symbolic Logic · 1938 · 762 citations

Natural Sciences, Mathematics, Formal Methods +8

General recursive functions of natural numbers

S. C. Kleene · Mathematische Annalen · 1936 · 595 citations

Natural Sciences, Mathematics, Algebra +10

Systems of Logic Based on Ordinals^†

Alan Turing · Proceedings of the London Mathematical Society · 1939 · 450 citations

Humanities, Computer Science, Mathematics +10

Recursive predicates and quantifiers

S. C. Kleene · Transactions of the American Mathematical Society · 1943 · 341 citations · Full text

Humanities, Mathematics, Algorithms +7