IMSc Library catalog › Results of search for 'su:"Deductive Systems"'

Your search returned 2 results.

Not what you expected? Check for suggestions

			No cover image available Theory of deductive systems and its applications by Maslov, S.Yu. Series: Foundations of computing seriesMaterial type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAS. Place hold Log in to add tags
			Labelled Deductive Systems, Vol.1 by Gabbay, Dov M. Series: Oxford Logic Guides, 33Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; OUP ; 1996Availability: 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