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
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)
Wahrscheinlichkeitsrechnung und Mathematische Statistik. Lexikon der Stochastik
  • PDF
  • German
  • Year: 1981
  • Author: P. H. Müller (editor)
search