Your search returned 266 results.

Not what you expected? Check for suggestions
BOOKS
Introduction to modern mathematics

by Monjallon, Albert.

Material type: Text Text;Language: English; Format: print Language: English Publication details: Oliver & Boyd Edinburgh 1967Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 16 Call number: 51 MON.

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.

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.

BOOKS
Grundzuge der theoretischen logik

by Hilbert, D | Ackermann, W.

Material type: Text Text;Language: ; Format: print Language: German Publication details: Berlin Springer-Verlag 1959Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HIL.

BOOKS
Cours de logique mathematique realtion,formule logique,compacite,completude

by Fraïssé, Roland.

Series: Collection de logique mathématique, sér. AMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: French Publication details: Paris Gauthier-Villars 1967Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FRA.

BOOKS
Principles of mathematical logic

by Hilbert, D | Ackermann, W.

Material type: Text Text;Language: English; Format: print Language: English Publication details: New York Chelsa Publishing Company 1950Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HIL.

BOOKS
A theory of formal deducibility

by Curry, Haskell B.

Series: Notre Dame mathematical lecturesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Notre Dame University of Notre Dame Press 1950Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 CUR.

BOOKS
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.

BOOKS
Quantification theory

by Faris, J.A.

Series: Monographs in modern logicMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: London Routledge & K. Paul 1964Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FAR.

BOOKS
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.

BOOKS
Logic colloquium '69 Proceedings of the summer school and colloquium in Mathematical logic, Manchester, August 1969

by Gandy, R.O Ed | Yates, C.M.E Ed.

Material type: Text Text;Language: English; Format: print Language: English Publication details: Amsterdam North-Holand Publishing Company 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GAN.

BOOKS
Lectures on Linear Logic

by Troelstra, A S.

Series: CSLI Lecture Notes, 29Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Center for the study of language and information ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TRO.

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.

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
Logic for Applications

by Nerode, Anil | Shore, Richard A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NER.

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.

BOOKS
Logic from Computer Science Proceedings, Workshop, Nov. 1989

by Moschovakis, Y N. Ed.

Series: Mathematical Sciences Research Institute, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:510 MOS.

BOOKS
Iteration Theories Equational Logic of Iterative Processes

by Bloom, Stephen L | Esik, Zoltan.

Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BLO.

BOOKS
Computer Science Logic 8th Workshop, Poland, 1994

by Pacholski, Leszek. Ed | Tiuryn, Jerzy. Ed.

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

BOOKS
Collected Works of J.Richard Buchi

by Buchi, J. Richard | Mac Lane, Saunders, Ed | Siefkes, Dirk, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 12, Shelf No: 4 Call number: 51(081) BUC.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha