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.)
⊨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.)
Freyds Models for the Independence of the Axiom of Choice
  • PDF
  • English
  • Year: 1989
  • Author: Andreas Blass
Omega-bibliography of Mathematical Logic. Volume 6: Proof Theory Constructive Mathematics
  • DJVU
  • English
  • Year: 1987,2013
  • Author: Gert H. Müller (ed.)
Sets and Classes: On the Work by Paul Bernays
  • DJVU
  • English
  • Year: 1976
  • Author: Gert H. Müller (Editor)
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.)
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2010
  • Author: Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
search