01359cam a22003374a 4500 13550178 MWNLS 20160301143905.0 040407s2004 enka b 001 0 eng 2004045921 052154310X (pbk.) DLC DLC DLC pcc QA76.9.L63 H88 2004 005.1/01/5113 22 Huth, Michael, 1962- Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. 2nd ed. Cambridge [U.K.] ; New York : Cambridge University Press, 2004. xiv, 427 p. : ill. ; 25 cm. Includes bibliographical references (p. 414-417) and index. Computer logic. Logic programming. Ryan, Mark, 1962- Sample text http://www.loc.gov/catdir/samples/cam041/2004045921.html Table of contents http://www.loc.gov/catdir/toc/cam041/2004045921.html Publisher description http://www.loc.gov/catdir/description/cam041/2004045921.html 7 cbc orignew 1 ocip 20 y-gencatlg ddc BK 21375 21375 0 0 ddc 0 0 NFIC HQ HQ GEN 2016-03-01 Book Aid International 15000.00 005.1015113 HUT 0090844 2026-09-14 06:33:40 22500.00 2016-03-01 BK 0 0 ddc 0 0 NFIC MZ MZ GEN 2017-06-13 Book Aid International 15000.00 005.1/01/5113 HUT 0107751 2026-09-10 09:19:56 22500.00 2017-06-13 BK