Formalized recursive functionals and formalized realizability
著者
書誌事項
Formalized recursive functionals and formalized realizability
（Memoirs of the American Mathematical Society, no. 89）
American Mathematical Society, c1969
大学図書館所蔵 件 / 全34件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
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