著者典拠情報

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


 close
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
所蔵情報: loading…
2.

図書
図書
2. Classical logic (: Germany ; : U.S.)
Wolfgang Rautenberg (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 1
所蔵情報: loading…
3.

図書
図書
3. Non-classical logics (: Germany ; : U.S.)
Wolfgang Rautenberg (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 2
所蔵情報: loading…
4.

図書
図書
4. Model theory (: Germany ; : U.S.)
Heinz-Dieter Ebbinghaus (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3
所蔵情報: loading…
5.

図書
図書
5. Recursion theory (: Germany ; : U.S.)
Peter G. Hinman (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 4
所蔵情報: loading…
6.

図書
図書
6. Set theory (: Germany ; : U.S.)
Andreas R. Blass (editor)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 5
所蔵情報: loading…
7.

図書
図書
7. Proof theory, constructive mathematics (: Germany ; : U.S.)
Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6
所蔵情報: loading…
8.

図書
図書
8. 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
所蔵情報: loading…
9.

図書
図書
9. 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
所蔵情報: loading…
10.

図書
図書
10. 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…