Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Set Theory and the Continuum Problem

by Smullyan, Raymond M | Fitting, Melvin.

Series: Oxford Logic Guides, 34Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 45 Call number: 510.21 SMU.

BOOKS
First-Order Logic and Automated Theorem Proving

by Fitting, Melvin.

Series: Graduate Texts in Computer ScienceEdition: 2ndMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIT.

BOOKS
First Order Modal Logic

by Fitting, Melvin | Mendelsohn, Richard L.

Series: Synthese Library, Vol. 277Material type: Text Text;Language: ; Format: print Publication details: Boston ; Kluwer Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIT.

BOOKS
Types, tableaus, and Godel's god

by Fitting, Melvin.

Series: Trends in logic - Studia Logica library; v.13Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Kluwer Academic ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIT.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha