著者典拠情報

著者標目形：
Müller, G. H. (Gert Heinz), 1923-
属性：
Personal
日付：
1923-
から見よ参照形：
Müller, G. H., 1923-
Müller, Gert H.
注記：
International Society for the Study of Time. The study of time, 1972
EDSRC:The study of time (Springer-Verlag, 1972-)
著者典拠ID：
DA00402693


1.

図書
図書
1. Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 (: gw ; : us)
K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in mathematics ; 1432
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
2.

図書
図書
2. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 (: gw ; : us)
edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in mathematics ; 1141
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
3.

図書
図書
3. Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I (: us ; : gw)
edited by G.H. Müller and M.M. Richter
出版情報: Berlin ; New York : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1103
所蔵情報: 図書館
4.

図書
図書
4. Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II (: gw ; : us)
edited by M. M. Richter ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1104
所蔵情報: 図書館
5.

図書
図書
5. 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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
6.

図書
図書
6. 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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
7.

図書
図書
7. 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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
8.

図書
図書
8. 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
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館