Home Advanced Search

Advanced Search - Page 1

Sets and Classes: On the Work by Paul Bernays
  • DJVU
  • English
  • Year: 1976
  • Author: Gert H. Müller (Editor)
Omega-bibliography of Mathematical Logic. Volume 6: Proof Theory Constructive Mathematics
  • DJVU
  • English
  • Year: 1987,2013
  • Author: Gert H. Müller (ed.)
Decidable Theories I
  • DJVU
  • English
  • Year: 1970
  • Author: Dirk Siefkes, Gert H. Müller
Ω-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.)
Recursion Theory Week. Proceedings conference Oberwolfach, 1984
  • DJVU
  • English
  • Year: 1985
  • Author: Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks
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.)
Wahrscheinlichkeitsrechnung und mathematische Statistik: Lexikon
  • PDF
  • German
  • Year: 1971
  • Author: P. H. Müller (editor)
Wahrscheinlichkeitsrechnung und Mathematische Statistik: Lexikon der Stochastik
  • PDF
  • German
  • Year: 1976
  • Author: P. H. Müller (editor)
search