Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
Author(s)
Bibliographic Information
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
- Other Title
-
Models and sets
Available at / 69 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||11048801073S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: gw510/L4972021251535
-
No Libraries matched.
- Remove all filters.
Note
"Ein weiterer Band der Proceedings erscheint unter dem Titel "Models and Sets" ebenfalls in den Lencture Notes in Mathematics ... "
Includes bibliographies
