Your search returned 3008 results.

Not what you expected? Check for suggestions
BOOKS
The Modern aspects of mathematics

by Felix, Lucienne | Hlavaty, Julius H (Translator) | Hlavaty, Fancille H (Translator).

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: New York Science Editions, Inc. 1961Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 16 Call number: 51 FEL.

BOOKS
Elementary mathematics Its structure and concepts

by Willerding, Margaret F.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Wiley 1966Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 37 Call number: 51 WIL.

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
Threshold Logic A Synthesis Approach

by Dertouzos, Michael L.

Series: M.I.T. Press research monographs ; 32Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge M.I.T. Press 1965Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DER.

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
Computability in combinatory spaces - An algebraic generalization of abstract first order computability

by Skordev,Dimiter G.

Series: Mathematics and its applications-East European SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.57 SKO.

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
Intutitionism An Introduction

by Heyting, A.

Series: Studies in logic and the foundations of mathematicsMaterial type: Text Text;Language: English; Format: print Language: English Publication details: Amsterdam North-Holland Publishing Company 1956Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HEY.

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
Recursion Theory : its Generalisations and Applications Proceedings of Logic Colloquium 79, Leeds, August 1979

by Drake, F.R | Wainer, S.S.

Series: London mathematical society lecture note series ; 00045Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 1980Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DRA.

BOOKS
University mathematics

by James, Robert C.

Material type: Text Text;Language: ; Format: print Language: English Publication details: California Wadsworth Publishing Company 1963Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 22 Call number: 51 JAM.

BOOKS
Saturated model theory

by Sacks, General E.

Series: Mathematics lecture note seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Canada ; Massachusetts ; 1972Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAC.

BOOKS
Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings

by Borger,E. et al Eds.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha