Jump to main content

yr 〜
yr

Search results 35

Ｍｏｄｅｌｓ　ａｎｄ　ｓｅｔｓ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｌｏｇｉｃ　Ｃｏｌｌｏｑｕｉｕｍ　ｈｅｌｄ　ｉｎ　Ａａｃｈｅｎ，　Ｊｕｌｙ　１８－２３，　１９８３ ｐａｒｔ　１ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)

Ｍｏｄｅｌｓ　ａｎｄ　ｓｅｔｓ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｌｏｇｉｃ　Ｃｏｌｌｏｑｕｉｕｍ　ｈｅｌｄ　ｉｎ　Ａａｃｈｅｎ，　Ｊｕｌｙ　１８－２３，　１９８３ ｐａｒｔ　１ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)
Paper図書
ｅｄｉｔｅｄｂｙＧ．Ｈ．Ｍｕ¨ｌｌｅｒａｎｄＭ．Ｍ．Ｒｉｃｈｔｅｒ． ; ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８４．
Other Libraries in Japan

Ｌｏｇｉｃ　Ｓｙｍｐｏｓｉａ，　Ｈａｋｏｎｅ　１９７９，　１９８０ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｃｏｎｆｅｒｅｎｃｅｓ　ｈｅｌｄ　ｉｎ　Ｈａｋｏｎｅ，　Ｊａｐａｎ，　Ｍａｒｃｈ　２１－２４，　１９７９　ａｎｄ　Ｆｅｂｒｕａｒｙ　４－７，　１９８０ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)

Ｌｏｇｉｃ　Ｓｙｍｐｏｓｉａ，　Ｈａｋｏｎｅ　１９７９，　１９８０ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｃｏｎｆｅｒｅｎｃｅｓ　ｈｅｌｄ　ｉｎ　Ｈａｋｏｎｅ，　Ｊａｐａｎ，　Ｍａｒｃｈ　２１－２４，　１９７９　ａｎｄ　Ｆｅｂｒｕａｒｙ　４－７，　１９８０ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)
Paper図書
ｅｄｉｔｅｄｂｙＧ．Ｈ．Ｍｕ¨ｌｌｅｒ，Ｇ．Ｔａｋｅｕｔｉ，ａｎｄＴ．Ｔｕｇｕｅ´． ; ; ; ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８１．
Other Libraries in Japan

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)
Paper図書
Springerc1990.<M15-A6937>
National Diet LibraryOther Libraries in Japan
  • Author HeadingAmbos-Spies, Klaus. Müller, G. H. (Gert Heinz) , 1923- Sacks, G...

Der Der Wille zur Menschlichkeit

Der Der Wille zur Menschlichkeit
Paper図書
Silvano Arieti ; [aus d. Amerikan. übers. von G. H. Müller]Ernst Klett1976
Other Libraries in Japan
  • Author HeadingArieti, Silvano Müller, G. H.

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)
Paper図書
Springer-Verlag1984.<M15-A3271>
National Diet Library
  • Author HeadingLogic 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)
Paper図書
Springer-Verlagc1985.<M15-A1383>
National Diet LibraryOther Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter, 1939- Müller, G. H. (Gert Heinz) , 1923- Sacks, G...

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)
Paper図書
Springer-Verlag1978.<MA41-133>
National Diet Library
  • Author HeadingMüller, G. H. (Gert Heinz) , 1923- Scott, D...

Unter den Brücken der Metaphysik : Mythen und Porträts

Unter den Brücken der Metaphysik : Mythen und Porträts
Paper図書
Bernhard Groethuysen ; aus dem Französischenübersetzt von G.H. MüllerE. Klett1968, c1947
Other Libraries in Japan
  • Author HeadingGroethuysen, Bernhard Müller, G. H.

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)
Paper図書
North-Holland Pub. Co.1976.<MA41-109>
National Diet Library
  • Author HeadingBernays, Paul, 1888-1977 Müller, G. H. (Gert Heinz) , 1923-

Non-classical logics : Germany : U.S.

Non-classical logics : Germany : U.S.
Paper図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author HeadingMüller, G. H. (Gert Heinz) Lenski, Wolfgang...

Classical logic : Germany : U.S.

Classical logic : Germany : U.S.
Paper図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author HeadingMüller, G. H. (Gert Heinz) Lenski, Wolfgang...

Recursion theory : Germany : U.S.

Recursion theory : Germany : U.S.
Paper図書
Peter G. Hinman (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author HeadingMüller, G. H. (Gert Heinz) Lenski, Wolfgang...

Set theory : Germany : U.S.

Set theory : Germany : U.S.
Paper図書
Andreas R. Blass (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author HeadingMüller, G. H. (Gert Heinz) Lenski, Wolfgang...

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
Paper図書
K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingAmbos-Spies, K. (Klaus) Müller, G. H. (Gert Heinz) Sacks, Gerald E.

Model theory : Germany : U.S.

Model theory : Germany : U.S.
Paper図書
Heinz-Dieter Ebbinghaus (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Author HeadingMüller, G. H. (Gert Heinz) Lenski, Wolfgang...

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)
Paper図書
Springer-Verlag1975.<MA41-97>
National Diet Library
  • Author Heading...of Kiel, 1974. Müller, G. H. (Gert Heinz) , 1923- Obersche...

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)
Paper図書
Springer-Verlag1975.<MA41-98>
National Diet LibraryOther Libraries in Japan
  • Author Heading...iller, Justus. Müller, G. H. (Gert Heinz) , 1923- Internat...

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
Paper図書
edited by M.M. Richter ... [et al.]Springer-Verlag1984
Other Libraries in Japan
  • Author HeadingLogic Colloquium Müller, G. H. (Gert Heinz) Richter, Michael...

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
Paper図書
edited by G.H. Müller and M.M. RichterSpringer-Verlag1984
Other Libraries in Japan
  • Author HeadingLogic Colloquium Müller, G. H. (Gert Heinz) Richter, Michael...

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

Proof theory, constructive mathematics : Germany : U.S.
Paper図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)Springer-Verlagc1987
Other Libraries in Japan
  • Author HeadingMüller, G. H. (Gert Heinz) Lenski, Wolfgang...
RSS