Proof theory
著者
書誌事項
Proof theory
(Studies in logic and the foundations of mathematics, v. 81)
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science, 1987
2nd ed
大学図書館所蔵 件 / 全49件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Includes bibliographies and index