IMSc Library catalog › Results of search for 'ccl=Provider:MIT'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Logic and information flow by Eijck, Jan van. Ed \| Eijck, Jan van. Ed \| Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ. Place hold Log in to add tags
			Art of Prolog : Advanced Programming Techniques by Sterling, Leon \| Shapiro, Ehud. Series: MIT Press Series in Logic ProgrammingEdition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; MIT Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STE. Place hold Log in to add tags
			Language in Action : Categories, Lambdas and Dynamic Logic by van Benthem, Johan. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; MIT Press ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN. Place hold Log in to add tags