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

Your search returned 3 results.

Not what you expected? Check for suggestions

			Epistemic Logic for AI and Computer Science by Meyer, J-J Ch \| van der Hoek, W. Series: Cambridge Tracts in Theoretical Computer Science, V. 41Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge university press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MEY. Place hold Log in to add tags
			Network Algebra by Stefanescu, Gheorghe. Series: Discrete Mathematics and Theoretical Computer SciencesMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2000Availability: 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
			Mathematical Logic by Ebbinghaus, Heinz-Dieter \| Thomas, Wolfgang \| Flum, Jörg. Series: Graduate Texts in Mathematics ; 291Edition: 3rd edMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2021Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 42 Call number: 510.2 EBB. Lists: New Arrivals (19 July 2024). Place hold Log in to add tags