AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Recursive Function Theory
About this Title
J. C. E. Dekker, Editor
Publication: Proceedings of Symposia in Pure Mathematics
Publication Year:
1962; Volume 5
ISBNs: 978-0-8218-1405-5 (print); 978-0-8218-9290-9 (online)
DOI: https://doi.org/10.1090/pspum/005
Table of Contents
Download chapters as PDF
Front/Back Matter
Articles
- Clifford Spector – Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics [MR 0154801]
- Andrzej Mostowski – Representability of sets in formal systems [MR 0142458]
- S. C. Kleene – Herbrand-Gödel-style recursive functionals of finite types [MR 0141594]
- J. C. E. Dekker – Infinite series of isols [MR 0142447]
- John Myhill – $\Omega -\Lambda$ [MR 0142446]
- A. Nerode – Arithmetically isolated and nonstandard models [MR 0143698]
- Dana Scott – Algebras of sets binumerable in complete extensions of arithmetic [MR 0141595]
- J. W. Addison – Some problems in hierarchy theory [MR 0141599]
- J. R. Shoenfield – The form of the negation of a predicate [MR 0142449]
- Martin Davis – Applications of recursive function theory to number theory [MR 0151380]
- A. W. Burks and J. B. Wright – Sequence generators and digital computers
- Saul Gorn – The treatment of ambiguity and paradox in mechanical languages [MR 0142462]
- John McCarthy – Computer programs for checking mathematical proofs
- M. L. Minsky – Size and structure of universal Turing machines using tag systems [MR 0142452]