Your search returned 8 results.

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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1970 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		⊨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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981 Online access: Click here to access online Availability: No items available. Add to cart (remove)
		⊨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; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975 Online access: Click here to access online Availability: No items available. Add to cart (remove)

(C) Powered by Koha

Powered by Koha