Metamathematical investigation of intuitionistic arithmetic and analysis
著者
書誌事項
Metamathematical investigation of intuitionistic arithmetic and analysis
(Lecture notes in mathematics, 344)
Springer, 1973
- : u.s.
- : gw
並立書誌 全1件
大学図書館所蔵 件 / 全68件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [462]-475