The theory of recursive functions, approaching its centennial
- 1 January 1981
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 5 (1) , 43-61
- https://doi.org/10.1090/s0273-0979-1981-14920-x
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 37 references indexed in Scilit:
- Recursive Functionals and Quantifiers of Finite Types IITransactions of the American Mathematical Society, 1963
- Recursive Functionals and Quantifiers of Finite Types ITransactions of the American Mathematical Society, 1959
- Arithmetical Predicates and Function QuantifiersTransactions of the American Mathematical Society, 1955
- Hierarchies of number-theoretic predicatesBulletin of the American Mathematical Society, 1955
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947
- Recursive Predicates and QuantifiersTransactions of the American Mathematical Society, 1943
- A Theory of Positive Integers in Formal Logic. Part IIAmerican Journal of Mathematics, 1935
- A Set of Postulates For the Foundation of LogicAnnals of Mathematics, 1933
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931
- Über das UnendlicheMathematische Annalen, 1926