Your search returned 5 results.

Not what you expected? Check for suggestions
E-BOOKS
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 ; 120Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1970Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
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 ; 891Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
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 ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
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 ; 1141Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
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 ; 1432Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha