Formalized recursive functionals and formalized realizability

Author(s)

• Kleene, Stephen Cole

Bibliographic Information

Formalized recursive functionals and formalized realizability

by S.C. Kleene

（Memoirs of the American Mathematical Society, no. 89）

American Mathematical Society, c1969

Note

Title from cover

"Received by the editors ... A summary was presented in a talk on August 19, 1968 at the Summer Conference in Intuitionism and Proof Theory at the Stat University of New York at Buffal."--P. [1]

Bibliography: p. 104-106

Details

• NCID: BA08862034
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, R.I.
• Pages/Volumes: 106 p.
• Size: 26 cm
• Subject Headings:
  • LCSH : Recursive functions
• Parent Bibliography ID:
  • BA00035927