Your search returned 5 results.

Results
	1.	Image from Amazon.com	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 Publication details: Cambridge [U.K.] : Cambridge University Press, 2004 Availability: Items available for loan: Jinja Campus (1)Call number: 005.101 H UT. Main Library - IDA Extension (3)Call number: 005.101 HUT, ... Place hold Save to lists Add to cart (remove)
	2.	Image from Amazon.com	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 Publication details: Cambridge [U.K.] : Cambridge University Press, 2004 Availability: No items available. Save to lists Add to cart (remove)
	3.	Image from Amazon.com	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 Publication details: Cambridge [U.K.] : Cambridge University Press, 2004 Availability: No items available. Save to lists Add to cart (remove)
	4.	Image from Amazon.com	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 Publication details: Cambridge [U.K.] : Cambridge University Press, 2004 Availability: No items available. Save to lists Add to cart (remove)
	5.	Image from Amazon.com	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 Publication details: Cambridge [U.K.] : Cambridge University Press, 2004 Availability: No items available. Save to lists Add to cart (remove)