Your search returned 70 results.

Not what you expected? Check for suggestions
BOOKS
Conference in Mathematical Logic, London '70. Edited by Wilfrid Hodges.

by Hodges, Wilfrid.

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

Place hold Log in to add tags
BOOKS
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley.

by Crossley, John N.

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

Place hold Log in to add tags
BOOKS
No cover image available
Direct and converse theorems The elements of symbolic logic Translated from the Russian by T. Boddington

by Gradshteĭn, I. S.

Series: International series of monographs in pure and applied mathematics ; 27Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Pergamon Press 1963Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GRA.

Place hold Log in to add tags
BOOKS
No cover image available
Logic and foundations of Mathematics Dedicated to A. Heyting on his 70th birthday

by Heyting, A.

Series: Noordhoff series of monographs and textbooks on pure and applied mathematicsMaterial type: Text Text;Language: English; Format: print festschrift ; Literary form: Not fiction Language: English Publication details: Netherlands Wolters-Noordhoff 1968Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HEY.

Place hold Log in to add tags
BOOKS
Mathematical logic

by Ebbinghaus, H.D | Flum, J | Thomas, W.

Series: Undergraduate texts in mathematicsMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB.

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

Place hold Log in to add tags
BOOKS
Selected topics in algebra and its interrelations with logic,Number theory and algebraic geometry

by Bucur, Ionel.

Series: Mathematics & its Applications SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Reidel ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 48 Call number: 512 BUC.

Place hold Log in to add tags
BOOKS
Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /

by Homer, S | Odifreddi, Piergiorgio.

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

Place hold Log in to add tags
BOOKS
Hilbert Space and Quantum Logic, Introduction to-

by Cohen, David W.

Series: Problem Books in MathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 36 Call number: 515.7 COH.

Place hold Log in to add tags
BOOKS
Combinatorics, Computability and Logic : (DMTCS)

by Calude, C S | Dinneen, M J | Sburlan, S.

Series: Discrete Mathematics and Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 34 Call number: 519.1 CAL.

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

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

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

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

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

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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha