Proof theory
著者
書誌事項
Proof theory
(Studies in logic and the foundations of mathematics, v. 81)
North-Holland Pub. Co , American Elsevier Pub. Co., 1975
- American Elsevier
- North-Holland
並立書誌 全1件
-
-
Proof theory / Gaisi Takeuti
BA41908970
-
Proof theory / Gaisi Takeuti
大学図書館所蔵 件 / 全80件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968
Includes index