Your search returned 7 results.

Not what you expected? Check for suggestions
BOOKS
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott.

by Müller, G. H | Scott, Dana S.

Series: Lecture notes in mathematics (Springer-Verlag) ; 669.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1978Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 36 Call number: 51 LNM.

BOOKS
Study of time proceedings of the first conference of the international society for the study of time Oberwolfach (Black Forest) West Germany

by Fraser, J.T | Haber, F. C | Muller, G. H.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1972Availability: No items available : Damaged (1).

BOOKS
Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff.

by Müller, G. H | Oberschelp, Arnold | Potthoff, Karl.

Series: Lecture notes in mathematics (Springer-Verlag) ; 499.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: engfre Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM.

BOOKS
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 / edited by J. Diller and G. H. Müller.

by Schütte, K | Diller, Justus | Müller, G. H.

Series: Lecture notes in mathematics (Springer-Verlag) ; 500.Material type: Text Text;Language: English; Format: print festschrift ; Literary form: Not fiction Language: engger Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM.

BOOKS
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /

by Ebbinghaus, Heinz-Dieter | Müller, G. H | Sacks, Gerald E.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1141.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1985Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 47 Call number: 51 LNM.

BOOKS
Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 /

by Ambos-Spies, K | Müller, G. H | Sacks, Gerald E.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1432.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag c1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 7 Call number: 51 LNM.

E-BOOKS
Decidable Theories II [electronic resource] : The Monadic Second Order Theory of All Countable Ordinals / by J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes.

by Büchi, J. Richard [author.] | Siefkes, Dirk [author.] | Müller, G. H [editor.] | Siefkes, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 328Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973Online 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