Extensional Gödel functional interpretation : a consistency proof of classical analysis
著者
書誌事項
Extensional Gödel functional interpretation : a consistency proof of classical analysis
(Lecture notes in mathematics, 306)
Springer-Verlag, 1973
- : u.s.
- : gw
大学図書館所蔵 件 / 全65件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 157-161