Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
著者
書誌事項
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
（Lecture notes in mathematics, 1104）
Springer-Verlag, 1984
- : gw
- : us
- タイトル別名
-
Models and sets
大学図書館所蔵 件 / 全68件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Ein weiterer Band der Proceedings erscheint unter dem Titel "Models and Sets" ebenfalls in den Lencture Notes in Mathematics ... "
Includes bibliographies