Your search returned 4 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.

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

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

Place hold Log in to add tags
BOOKS
Set Theory Boolean-Valued Models and Independence Proofs

by Bell, John. L.

Series: Oxford Logic Guides ; 0047Edition: 3Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Oxford University Press ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BELL.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha