IMSc Library catalog › Results of search for 'ccl=su:"Logic"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			First-Order Logic and Automated Theorem Proving by Fitting, Melvin. Series: Graduate Texts in Computer ScienceEdition: 2ndMaterial type: 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. Place hold Log in to add tags
			Refinement Calculus : Systematic Introduction : (GTCS) by Back, Ralph-Johan \| Wright, Joakim von. Series: Graduate Texts in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAC. Place hold Log in to add tags