OPAC

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