Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
Please make all selections above before adding to cart
Recursive Function Theory
Edited by:
J. C. E. Dekker
| eBook ISBN: | 978-0-8218-9290-9 |
| Product Code: | PSPUM/5.E |
| List Price: | $135.00 |
| MAA Member Price: | $121.50 |
| AMS Member Price: | $108.00 |
Click above image for expanded view
Recursive Function Theory
Edited by:
J. C. E. Dekker
| eBook ISBN: | 978-0-8218-9290-9 |
| Product Code: | PSPUM/5.E |
| List Price: | $135.00 |
| MAA Member Price: | $121.50 |
| AMS Member Price: | $108.00 |
-
Book DetailsProceedings of Symposia in Pure MathematicsVolume: 5; 1962; 247 ppMSC: Primary 03
-
Table of Contents
-
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 ]
-
-
RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
- Book Details
- Table of Contents
- Requests
-
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 ]
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.