年 〜
年

検索結果 8 件

Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks, eds. (Lecture notes in mathematics ; 1432)

Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks, eds. (Lecture notes in mathematics ; 1432)
紙図書
Springerc1990.<M15-A6937>
国立国会図書館全国の図書館
  • 著者標目Ambos-Spies, Klaus. Müller, G. H. (Gert Heinz) , 1923- Sacks, Gerald E.

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. (Lecture notes in mathematics ; 1141)

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. (Lecture notes in mathematics ; 1141)
紙図書
Springer-Verlagc1985.<M15-A1383>
国立国会図書館全国の図書館
  • 著者標目Ebbinghaus, Heinz-Dieter, 1939- Müller, G. H. (Gert Heinz) , 1923- Sacks, Gerald E.

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983. (Lecture notes in mathematics ; 1103-1104)

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983. (Lecture notes in mathematics ; 1103-1104)
紙図書
Springer-Verlag1984.<M15-A3271>
国立国会図書館
  • 著者標目Logic Colloquium (1983 : Aachen, Germany) Müller, G. H. (Gert Heinz) , 1923-

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott. (Lecture notes in mathematics ; 669)

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott. (Lecture notes in mathematics ; 669)
紙図書
Springer-Verlag1978.<MA41-133>
国立国会図書館
  • 著者標目Müller, G. H. (Gert Heinz) , 1923- Scott, Dana S.

Sets and classes : on the work by Paul Bernays / edited by Gert H. Müller. (Studies in logic and the foundations of mathematics ; v. 84)

Sets and classes : on the work by Paul Bernays / edited by Gert H. Müller. (Studies in logic and the foundations of mathematics ; v. 84)
紙図書
North-Holland Pub. Co.1976.<MA41-109>
国立国会図書館
  • 著者標目Bernays, Paul, 1888-1977 Müller, G. H. (Gert Heinz) , 1923-

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é. (Lecture notes in mathematics ; 891)

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é. (Lecture notes in mathematics ; 891)
紙図書
Springer-Verlag1981.<MA41-182>
国立国会図書館
  • 著者標目...-machi, Japan) Müller, G. H. (Gert Heinz) , 1923- 竹内, 外史, 1926-2017 柘植, 利之, 192...

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff. (Lecture notes in mathematics ; 499)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff. (Lecture notes in mathematics ; 499)
紙図書
Springer-Verlag1975.<MA41-97>
国立国会図書館
  • 著者標目...of Kiel, 1974. Müller, G. H. (Gert Heinz) , 1923- Oberschelp, Arnold. Potthoff,...

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. (Lecture notes in mathematics ; 500)

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. (Lecture notes in mathematics ; 500)
紙図書
Springer-Verlag1975.<MA41-98>
国立国会図書館全国の図書館
  • 著者標目...iller, Justus. Müller, G. H. (Gert Heinz) , 1923- International Summer Institut...

検索結果は以上です。