Home Advanced Search

Advanced Search - Page 1

Decidable Theories I
  • DJVU
  • English
  • Year: 1970
  • Author: Dirk Siefkes, Gert H. Müller
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen
  • PDF
  • German
  • Year: 1992
  • Author: Dirk Siefkes (auth.)
Adliges Eigentumsrecht und Landesverfassung: Die Auseinandersetzungen um die eigentumsrechtlichen Privilegien des Adels im 18. und 19. Jahrhundert am Beispiel Brandenburgs und Pommerns
  • PDF
  • German
  • Year: 2011
  • Author: Dirk H. Müller
Ω-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.)
Omega-bibliography of Mathematical Logic. Volume 6: Proof Theory Constructive Mathematics
  • DJVU
  • English
  • Year: 1987,2013
  • Author: Gert H. Müller (ed.)
Decidable Theories II
  • DJVU
  • English
  • Year: 1973
  • Author: J.R. Büchi, D. Siefkes, D. Siefkes, G.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.)
The Collected Works of J. Richard Büchi
  • PDF
  • English
  • Year: 1990
  • Author: Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (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.)
search