Formalized recursive functionals and formalized realizability
Author(s)
Bibliographic Information
Formalized recursive functionals and formalized realizability
（Memoirs of the American Mathematical Society, no. 89）
American Mathematical Society, c1969
Available at / 32 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
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
