本文に飛ぶ

年 〜
年

検索結果 26 件

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, FRG, March 19-25, 1989 : gw : us

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.)Springer-Verlagc1990
全国の図書館
  • 著者標目Ambos-Spies, K. (Klaus) Müller, G. H. (Gert Heinz) Sacks, Gerald E.

Classical logic : Germany : U.S.

Classical logic : Germany : U.S.
紙図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
全国の図書館
  • 著者標目Müller, G. H. (Gert Heinz) Lenski, Wolfgang Rautenberg, ...

Non-classical logics : Germany : U.S.

Non-classical logics : Germany : U.S.
紙図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
全国の図書館
  • 著者標目Müller, G. H. (Gert Heinz) Lenski, Wolfgang Rautenberg, ...

Set theory : Germany : U.S.

Set theory : Germany : U.S.
紙図書
Andreas R. Blass (editor)Springer-Verlagc1987
全国の図書館
  • 著者標目Müller, G. H. (Gert Heinz) Lenski, Wolfgang Blass, Andre...

Recursion theory : Germany : U.S.

Recursion theory : Germany : U.S.
紙図書
Peter G. Hinman (editor)Springer-Verlagc1987
全国の図書館
  • 著者標目Müller, G. H. (Gert Heinz) Lenski, Wolfgang Hinman, Pete...

Model theory : Germany : U.S.

Model theory : Germany : U.S.
紙図書
Heinz-Dieter Ebbinghaus (editor)Springer-Verlagc1987
全国の図書館
  • 著者標目Müller, G. H. (Gert Heinz) Lenski, Wolfgang Ebbinghaus, ...

Proof theory, constructive mathematics : Germany : U.S.

Proof theory, constructive mathematics : Germany : U.S.
紙図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)Springer-Verlagc1987
全国の図書館
  • 著者標目Müller, G. H. (Gert Heinz) Lenski, Wolfgang Kister, Jane...

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-

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.

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II : gw : us

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.]Springer-Verlag1984
全国の図書館
  • 著者標目Logic Colloquium Müller, G. H. (Gert Heinz) Richter, Michael M.

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 : gw : us

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. SacksSpringer-Verlagc1985
全国の図書館
  • 著者標目Ebbinghaus, Heinz-Dieter Sacks, Gerald E. Müller, G. H. (Gert Heinz)

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I : us : gw

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. RichterSpringer-Verlag1984
全国の図書館
  • 著者標目Logic Colloquium Müller, G. H. (Gert Heinz) Richter, Michael M.

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.

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 : Berlin : New York

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éSpringer-Verlag1981
全国の図書館
  • 著者標目Logic Symposia Müller, G. H. (Gert Heinz) 竹内, 外史 柘植, 利之

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 : Berlin : New York

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 : Berlin : New York
紙図書
edited by G.H. Müller and D.S. ScottSpringer-Verlag1978
全国の図書館
  • 著者標目Müller, G. H. (Gert Heinz) 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-

Sets and classes : on the work by Paul Bernays

Sets and classes : on the work by Paul Bernays
紙図書
edited by Gert H. Müllerc1976
全国の図書館
  • 著者標目Bernays, Paul Müller, G. H. (Gert Heinz)

Sets and classes : on the work by Paul Bernays

Sets and classes : on the work by Paul Bernays
紙図書
edited by Gert H. MüllerNorth-Holland Pub. Co.1976
全国の図書館
  • 著者標目Bernays, Paul Müller, G. H. (Gert Heinz)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 : gw : u.s.

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. PotthoffSpringer-Verlag1975
全国の図書館
  • 著者標目...gic Colloquium Müller, G. H. (Gert Heinz) Oberschelp, A Potthoff, Klaus
RSS