Huth, Michael Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan - 2nd ed. - Cambridge : Cambridge Univ. Press, 2004 - 427 p. : ill. Includes bibliographical references and index ISBN: 052154310X Subjects--Topical Terms: COMPUTER LOGICLOGIC PROGRAMMING (COMPUTER SCIENCE) LC Class. No.: QA76.9 .L63 / H873L 2004