Recursive Function Theory - Proceedings of Symposia in Pure Mathematics
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By American Mathematical Society

9780821814055, 9780821892909

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sequence generators and digital computers

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/9999 ◽

1962 ◽

pp. 139-199 ◽

Author(s):

A. W. Burks ◽

J. B. Wright

Keyword(s):

Digital Computers

Download Full-text

Infinite series of isols

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0142447 ◽

1962 ◽

pp. 77-96 ◽

Author(s):

J. C. E. Dekker

Keyword(s):

Infinite Series

Download Full-text

Some problems in hierarchy theory

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0141599 ◽

1962 ◽

pp. 123-130 ◽

Author(s):

J. W. Addison

Keyword(s):

Hierarchy Theory

Download Full-text

Algebras of sets binumerable in complete extensions of arithmetic

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0141595 ◽

1962 ◽

pp. 117-121 ◽

Author(s):

Dana Scott

Keyword(s):

Algebras Of Sets

Download Full-text

Computer programs for checking mathematical proofs

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/9998 ◽

1962 ◽

pp. 219-227 ◽

Author(s):

John McCarthy

Keyword(s):

Computer Programs ◽

Mathematical Proofs

Download Full-text

Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0154801 ◽

1962 ◽

pp. 1-27 ◽

Author(s):

Clifford Spector

Keyword(s):

Consistency Proof ◽

Intuitionistic Mathematics

Download Full-text

Arithmetically isolated and nonstandard models

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0143698 ◽

1962 ◽

pp. 105-116 ◽

Author(s):

A. Nerode

Keyword(s):

Nonstandard Models

Download Full-text

Representability of sets in formal systems

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0142458 ◽

1962 ◽

pp. 29-48 ◽

Author(s):

Andrzej Mostowski

Keyword(s):

Download Full-text

Size and structure of universal Turing machines using tag systems

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0142452 ◽

1962 ◽

pp. 229-238 ◽

Author(s):

M. L. Minsky

Keyword(s):

Turing Machines ◽

Size And Structure

Download Full-text

Ω-Λ

Recursive Function Theory - Proceedings of Symposia in Pure Mathematics ◽

10.1090/pspum/005/0142446 ◽

1962 ◽

pp. 97-104 ◽

Author(s):

John Myhill

Download Full-text