Your search returned 2 results.

Results
	1.	Image from Amazon.com Image from Google Jackets Image from OpenLibrary	Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004 Online resources: Sample text Table of contents Publisher description Availability: Items available for loan: Zetech Library - Mang'u Campus (1)Call number: QA76.9.L63 .H88 2004. Found in Open Library: Log in to add tags Save to lists Add to cart (remove)
	2.	Image from Amazon.com Image from Google Jackets Image from OpenLibrary	Symbolic logic and logic processing / by Ms. Bindu Bansal. by Bansal, Bindu [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Bangalore : University Science Press, 2013 Online resources: EBSCOhost Availability: No items available. Found in Open Library: Log in to add tags Save to lists Add to cart (remove)

Refine your search