Your search returned 240 results.

Not what you expected? Check for suggestions
BOOKS
Mathematical Foundations of Computer Science 2000, Proceedings of the 25th International Symposium, Slovakia, 2000

by Nielsen, Mogens. Ed | Rovan, Branislav. Ed.

Series: Lecture notes in computer science ; 01893Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 24 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logical foundations of mathematics and computational complexity A gentle introduction

by Pudl�k, Pavel.

Series: Springer monographs in mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PUD.

Place hold Log in to add tags
BOOKS
Toeplitz approach to problems of the uncertainity principle

by Poltoratski, Alexei.

Series: Conference board of the mathematical sciences regional conference series in mathematics ; 00121Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence ; American mathematical society ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 22 Call number: 517.98 POL.

Place hold Log in to add tags
E-BOOKS
Axiom of Choice [electronic resource] / by Horst Herrlich.

by Herrlich, Horst [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1876Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Symposium on Automatic Demonstration [electronic resource] : Held at Versailles/France, December 1968 / edited by M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger.

by Laudet, M [editor.] | Lacombe, D [editor.] | Nolin, L [editor.] | Schützenberger, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 125Source: 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): .

Place hold Log in to add tags
E-BOOKS
The Axiom of Constructibility: A Guide for the Mathematician [electronic resource] / by Keith J. Devlin.

by Devlin, Keith J [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 617Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
First Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes.

by Makkai, Michael [author.] | Reyes, Gonzalo E [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 611Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis [electronic resource] / edited by A. S. Troelstra.

by Troelstra, A. S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 344Source: 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): .

Place hold Log in to add tags
E-BOOKS
Recursion on the Countable Functionals [electronic resource] / by Dag Normann.

by Normann, Dag [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 811Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Model Theory of Algebra and Arithmetic [electronic resource] : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979 / edited by Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie.

by Pacholski, Leszek [editor.] | Wierzejewski, Jedrzej [editor.] | Wilkie, Alec J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 834Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Cabal Seminar 77 – 79 [electronic resource] : Proceedings, Caltech-UCLA Logic Seminar 1977 – 79 / edited by Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis.

by Kechris, Alexander S [editor.] | Martin, Donald A [editor.] | Moschovakis, Yiannis N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 839Source: 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): .

Place hold Log in to add tags
E-BOOKS
Topological Model Theory [electronic resource] / by Jörg Flum, Martin Ziegler.

by Flum, Jörg [author.] | Ziegler, Martin [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 769Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Model Theory and Arithmetic [electronic resource] : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80 / edited by Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre.

by Berline, Chantal [editor.] | McAloon, Kenneth [editor.] | Ressayre, Jean-Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 890Source: 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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies [electronic resource] / by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg.

by Buchholz, Wilfried [author.] | Feferman, Solomon [author.] | Pohlers, Wolfram [author.] | Sieg, Wilfried [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 897Source: 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): .

Place hold Log in to add tags
E-BOOKS
Logic Year 1979–80 [electronic resource] : The University of Connecticut, USA / edited by Manuel Lerman, James H. Schmerl, Robert I. Soare.

by Lerman, Manuel [editor.] | Schmerl, James H [editor.] | Soare, Robert I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 859Source: 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): .

Place hold Log in to add tags
E-BOOKS
Cabal Seminar 79–81 [electronic resource] : Proceedings, Caltech-UCLA Logic Seminar 1979–81 / edited by Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis.

by Kechris, Alexander S [editor.] | Martin, Donald A [editor.] | Moschovakis, Yiannis N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1019Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Set Theory and Model Theory [electronic resource] : Proceedings of an Informal Symposium Held at Bonn, June 1–3, 1979 / edited by Ronald Björn Jensen, Alexander Prestel.

by Jensen, Ronald Björn [editor.] | Prestel, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 872Source: 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): .

Place hold Log in to add tags
E-BOOKS
Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / edited by Fred Richman.

by Richman, Fred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 873Source: 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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha