Your search returned 8 results.

Sort
Results
Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes. by
  • Müller, Gert H [author.]
  • Siefkes, Dirk [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 120
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970
Availability: No items available.
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks. by
  • Ambos-Spies, Klaus [editor.]
  • Müller, Gert H [editor.]
  • Sacks, Gerald E [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1432
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
Availability: No items available.
⊨ISILC Logic Conference [electronic resource] : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by Gert H. Müller, Arnold Oberschelp, Klaus Potthoff. by
  • Müller, Gert H [editor.]
  • Oberschelp, Arnold [editor.]
  • Potthoff, Klaus [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 499
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975
Availability: No items available.
Higher Set Theory [electronic resource] : Proceedings, Oberwolfach, Germany, April 13–23, 1977 / edited by Gert H. Müller, Dana S. Scott. by
  • Müller, Gert H [editor.]
  • Scott, Dana S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 669
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978
Availability: No items available.
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks. by
  • Ebbinghaus, Heinz-Dieter [editor.]
  • Müller, Gert H [editor.]
  • Sacks, Gerald E [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1141
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
Availability: No items available.
Models and Sets [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I / edited by Gert H. Müller, Michael M. Richter. by
  • Müller, Gert H [editor.]
  • Richter, Michael M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1103
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
Availability: No items available.
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / edited by Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué. by
  • Müller, Gert H [editor.]
  • Takeuti, Gaisi [editor.]
  • Tugué, Tosiyuki [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 891
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
Availability: No items available.
⊨ISILC Proof Theory Symposion [electronic resource] : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by Justus Diller, Gert H. Müller. by
  • Diller, Justus [editor.]
  • Müller, Gert H [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 500
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975
Availability: No items available.
Pages
(C) Powered by Koha

Powered by Koha