Your search returned 266 results.

Not what you expected? Check for suggestions
BOOKS
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /

by Di Prisco, C. A.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1130.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: 46 Call number: 51 LNM.

BOOKS
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /

by Shinoda, J | Slaman, T. A | Tugué, T.

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

BOOKS
Cabal Seminar : 79 - 81 proceedings, Caltech-UCLA Logic Seminar. 1979 - 81

by Kechris .A.S | Martin .D.A | Moschovakis .Y.N.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1019Material type: Continuing resource Continuing resource;Language: English; Format: print Publication details: Berlin New York Springer-Verlag ©1978Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 43 Call number: 51 LNM.

BOOKS
Mathematics and plausible reasoning: volume 1 induction and analogy in mathematics

by Polya, George.

Material type: Text Text;Language: ; Format: print Publication details: Princeton, N.J. ; Princeton University Press ; 1990 printing-Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 29 Call number: 51 POL.

BOOKS
How to prove it structured approach

by Velleman, Daniel J.

Edition: 2Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 VEL.

BOOKS
Graph structure and monadic second order logic A language theoretic approach

by Courcelle, Bruno | Engelfriet, Joost.

Series: Encyclopedia of mathematics and its applications; 00138Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 10, Shelf No: 4 Call number: 51(02) ENC.

BOOKS
Introduction to practical formal methods using temporal logic

by Fisher, Michael.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Wiley ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIS.

BOOKS
Elements of logical reasoning

by Plato Jan Von.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 33 Call number: 530.12 PLA.

BOOKS
Introduction to mathematical logic

by Mendelson, Elliott.

Series: Discrete mathematics and its applications ; 00048Edition: 5Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; CRC press ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MEN.

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): .

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
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): .

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): .

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): .

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): .

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): .

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): .

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): .

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): .

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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha