Müller, G. H. (Gert Heinz), 1923-

著者名典拠詳細を表示

著者の属性 個人
一般注記 International Society for the Study of Time. The study of time, 1972
Dates of Birth and Death 1923-
から見よ参照 Müller, G. H., 1923-
Müller, Gert H.
M〓ller, Gert Heinz, 1923-
コード類 典拠ID=AU20064146  NCID=DA00402693
1 Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
2 Set theory / Andreas R. Blass (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
3 Recursion theory / Peter G. Hinman (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
4 Model theory / Heinz-Dieter Ebbinghaus (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
5 Non-classical logics / Wolfgang Rautenberg (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
6 Classical logic / Wolfgang Rautenberg (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
7 Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks : gw,: us. - Berlin ; New York : Springer-Verlag , c1985
8 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.] : gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984
9 Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I / edited by G.H. Müller and M.M. Richter : us,: gw. - Berlin ; New York : Springer-Verlag , 1984
10 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981
11 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G.H. Müller and D.S. Scott : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1978
12 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 / edited by J. Diller and G.H. Müller : gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975
13 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff : gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975