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. ISBN: 052154310X (pbk.) LCCN: 2004045921 Subjects--Topical Terms: Computer logic.Logic programming. LC Class. No.: QA76.9.L63 / H88 2004 Dewey Class. No.: 005.1/01/5113