John McCarthy. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 219–227.

J. A. Robinson

doi:10.2307/2270190

John McCarthy. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 219–227.

Journal of Symbolic Logic ◽

10.2307/2270190 ◽

1968 ◽

Vol 32 (4) ◽

pp. 523-523

Author(s):

J. A. Robinson

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Computer Programs ◽

Mathematical Society ◽

Mathematical Proofs ◽

Pure Mathematics ◽

John Mccarthy

Download Full-text

J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96.

Journal of Symbolic Logic ◽

10.2307/2269710 ◽

1966 ◽

Vol 31 (4) ◽

pp. 652-652

Author(s):

Kenneth Appel

Keyword(s):

Infinite Series ◽

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics

Download Full-text

John Myhill. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104.

Journal of Symbolic Logic ◽

10.2307/2271401 ◽

1969 ◽

Vol 33 (4) ◽

pp. 619-620

Author(s):

Erik Ellentuck

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics

Download Full-text

J. R. Shoenfield. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 131–134.

Journal of Symbolic Logic ◽

10.2307/2270076 ◽

1968 ◽

Vol 33 (1) ◽

pp. 116-116

Author(s):

Ann M. Singleterry

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics

Download Full-text

Clifford Spector. 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, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27.

Journal of Symbolic Logic ◽

10.2307/2271288 ◽

1967 ◽

Vol 32 (1) ◽

pp. 128-128

Author(s):

R. E. Vesley

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Consistency Proof ◽

Pure Mathematics ◽

Intuitionistic Mathematics

Download Full-text

A. W. Burks and J. B. Wright. Sequence generators and digital computers. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence generators, graphs, and formal languages. Information and control, vol. 5 (1962), pp. 204–212.

Journal of Symbolic Logic ◽

10.2307/2270399 ◽

1964 ◽

Vol 29 (4) ◽

pp. 210-212

Author(s):

Robert McNaughton

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Formal Languages ◽

Mathematical Society ◽

Pure Mathematics ◽

And Control ◽

Digital Computers

Download Full-text

A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.

Journal of Symbolic Logic ◽

10.2307/2271692 ◽

1967 ◽

Vol 32 (2) ◽

pp. 269-269

Author(s):

Matthew Hassett

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics ◽

Nonstandard Models

Download Full-text

M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238.

Journal of Symbolic Logic ◽

10.2307/2269717 ◽

1966 ◽

Vol 31 (4) ◽

pp. 655-655

Author(s):

Martin Davis

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Turing Machines ◽

Pure Mathematics ◽

Size And Structure

Download Full-text

Martin Davis. Applications of recursive function theory to number theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 135–138.

Journal of Symbolic Logic ◽

10.2307/2272753 ◽

1972 ◽

Vol 37 (3) ◽

pp. 602-602

Author(s):

Julia Robinson

Keyword(s):

Number Theory ◽

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics ◽

Martin Davis

Download Full-text

J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959), pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130.

Journal of Symbolic Logic ◽

10.2307/2269799 ◽

1964 ◽

Vol 29 (1) ◽

pp. 60-62

Author(s):

Donald L. Kreider

Keyword(s):

Set Theory ◽

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Hierarchy Theory ◽

Descriptive Set Theory ◽

Alfred Tarski ◽

Pure Mathematics ◽

Descriptive Set ◽

Effective Descriptive Set Theory

Download Full-text

H. B. Enderton. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III (1964), pp. 457–471.

Journal of Symbolic Logic ◽

10.2307/2269823 ◽

1966 ◽

Vol 31 (2) ◽

pp. 262-263

Author(s):

Gustav Hensel

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society

Download Full-text