ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
著者
書誌事項
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
（Lecture notes in mathematics, 499）
Springer-Verlag, 1975
- : gw
- : u.s.
- タイトル別名
-
Logic Conference
大学図書館所蔵 件 / 全71件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974
Papers on proof theory dedicated to Kurt Schütte are published as a separate volume of these proceedings
Includes bibliographies