1.

図書
図書
1. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 (: Berlin ; : New York)
edited by G.H. Müller, G. Takeuti, and T. Tugué
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 891
所蔵情報: loading…
2.

図書
図書
2. Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 (: Berlin ; : New York)
edited by G.H. Müller and D.S. Scott
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in mathematics ; 669
所蔵情報: loading…
3.

図書
図書
3. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.)
edited by G.H. Müller, A. Oberschelp, K. Potthoff
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 499
所蔵情報: loading…
4.

図書
図書
4. ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.)
edited by J. Diller and G.H. Müller
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 500
所蔵情報: loading…