Formalized recursive functionals and formalized realizability
著者
書誌事項
Formalized recursive functionals and formalized realizability
（Memoirs of the American Mathematical Society, no. 89）
American Mathematical Society, c1969
大学図書館所蔵 全33件
この図書・雑誌をさがす
注記
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