Your search returned 11 results.

Not what you expected? Check for suggestions
BOOKS
Arithmetic, Proof Theory, and Computational Complexity

by Clote, Peter. Ed | Krajicek, Jan. Ed.

Series: Oxford Logic Guides, Vol. 23Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; Oxford University press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:27, Shelf No:48 Call number: 510.6 CLO.

BOOKS
Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2

by Gabbay, Dov M | Reynolds, Mark A | Finger, Marcelo.

Series: Oxford Logic Guides : 40Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Oxford University Press 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

BOOKS
Algebraic methods in philosophical logic

by Dunn, J. Michael | Hardegree, Gary M.

Series: Oxford logic guides; 41Material type: Text Text;Language: ; Format: print Publication details: Oxford ; Oxford University Press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DUN.

BOOKS
Oxford handbook of Philosophy of mathematics and logic

by Shapiro, Stewart Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; Oxford University press ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 2 Call number: 510(02) SHA.

BOOKS
Models of Peano arithmetic

by Kaye, Richard.

Series: Oxford logic series ; 00015Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KAYE.

BOOKS
Facing the future Agents and choices in our indeterminist world

by Belnap, Nuel | Perloff, Michael | Xu, Ming.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEL.

BOOKS
Agency and deontic logic

by Horty, F. John.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Oxford university press ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOR.

BOOKS
Logic A Very Short Introduction

by Priest, Graham.

Series: Very Short IntroductionEdition: 2nd Edition Publication details: Oxford Oxford University Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 57, Shelf No: 8 Call number: 82-91 VSI.

BOOKS
Core Logic

by Tennant, Neil.

Publication details: Oxford Oxford University Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TEN.

BOOKS
Mathematical logic A course with exercises

by Cori, Rene | Lascar, Daniel.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford New York Oxford University Press 2000Availability: No items available : Checked out (1).

BOOKS
Mathematical Logic A Course With Exercises, Part II Recursion theory, Godel's theorems, set theory, model theory

;Language: English Language: English Publication details: Oxford Oxford University Press 2001Availability: No items available : Checked out (1).

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha