Your search returned 2 results.

Results
	1.	Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael Ryan, Mark Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge [U.K.] ; New York : Cambridge University Press, c2004 Online access: Sample text Table of contents Publisher description Availability: Items available for loan: Central Library, KUET (2)Call number: 005.1015113 HUT, ... Place hold Add to cart (remove)
	2.	Mathematical aspects of logic programming semantics [electronic resource] / Pascal Hitzler, Anthony Seda. by Hitzler, Pascal Seda, Anthony Series: Chapman & Hall/CRC studies in informatics series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boca Raton : CRC Press, 2011 Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: No items available. Add to cart (remove)

Refine your search