Your search returned 4 results.

Results
	1.	Logic in computer science : modelling and reasoning about systems by Huth, Michael Ryan, Mark Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2004 Availability: Items available for loan: IIITD (2)Call number: 005.101 HUT-L, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.101 HUT-L. Place hold Add to cart (remove)
	2.	The essence of logic by Kelly, John J Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Prentice Hall, ©1996 Availability: Items available for loan: IIITD (3)Call number: 511.3 KEL-E, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 KEL-E. Place hold Add to cart (remove)
	3.	Logic for computer scientists by Schoning, Uwe, 1955- Series: Progress in computer science and applied logic ; v. 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: German Publication details: Boston : Birkhauser, 1989 Availability: Items available for loan: IIITD (1)Call number: REF 511.3 SCH-L. Place hold Add to cart (remove)
	4.	No cover image available Logic in computer science : modelling and reasoning about systems by Huth, Michael Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2004 Availability: Items available for loan: IIITD (1)Call number: 005.101 HUT-L. Place hold Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in