Home Advanced Search

Advanced Search - Page 1

Ω-Bibliography of Mathematical Logic. Volume 5: Set Theory
  • PDF
  • English
  • Year: 1987
  • Author: Gert H. Müller, Andreas R. Blass (eds.)
Ω-Bibliography of Mathematical Logic. Volume 3: Model Theory
  • PDF
  • English
  • Year: 1987
  • Author: Gert H. Müller, Heinz-Dieter Ebbinghaus (eds.)
Freyds Models for the Independence of the Axiom of Choice
  • PDF
  • English
  • Year: 1989
  • Author: Andreas Blass
⊨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
  • PDF
  • English-German
  • Year: 1975
  • Author: Prof. Justus Diller, Prof. Gert H. Müller (eds.)
Omega-bibliography of Mathematical Logic. Volume 6: Proof Theory Constructive Mathematics
  • DJVU
  • English
  • Year: 1987,2013
  • Author: Gert H. Müller (ed.)
Models and Sets: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I
  • PDF
  • English
  • Year: 1984
  • Author: Jos Baeten (auth.), Gert H. Müller, Michael M. Richter (eds.)
Decidable Theories I
  • DJVU
  • English
  • Year: 1970
  • Author: Dirk Siefkes, Gert H. Müller
Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980
  • PDF
  • English
  • Year: 1981
  • Author: Masazumi Hanazawa (auth.), Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué (eds.)
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977
  • PDF
  • English
  • Year: 1978
  • Author: U. Felgner, T. B. Flannagan (auth.), Gert H. Müller, Dana S. Scott (eds.)
Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics
  • PDF
  • English
  • Year: 1987
  • Author: Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)
search