Huth, Michael Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan - 2nd ed - Cambridge Cambridge University Press 2004 - xiv, 427 p. : ill. ; 25 cm Includes bibliographical references (p. 414-417) and index ISBN: 9780521543101 ISSN: 2004045921 Subjects--Topical Terms: Computer logicLogic programming (Computer science) Dewey Class. No.: 004 HUT