Central Library , Vidyasagar University

Your cart is empty.

Online Public Access Catalogue (OPAC)
Central Library - Vidyasagar University

“Education does not only mean learning, reading, writing, and arithmetic,

it should provide a comprehensive knowledge”

-Ishwarchandra Vidyasagar

Search

Login: Password:

Forgot your password?

Your search returned 2 results.

Unhighlight Highlight

|

	1.	Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan. by Huth, Michael \| Ryan, Mark. Edition: / .Material type: Text; Format: print regular print ; Audience: General; Publisher: Cambridge : Cambridge University Press , 2004Availability: Items available for loan: Central Library [Call number: 003.3 HUT/L] (4). Place hold Add to your cart (remove)
	2.	Logic in computer science : modelling and reasoning about systems / by Michael Huth and Mark Ryan by Huth, Michael [author] \| Ryan, Mark [joint author]. Edition: 2nd ed.Material type: Text; Literary form: Not fiction ; Audience: General; Publisher: Delhi : Cambridge University Press, 2004Availability: Items available for loan: Central Library [Call number: 003.3 HUT/L] (3). Place hold Add to your cart (remove)