Huth, Michael Logic in Computer Science: Modelling and Reasoning about Systems - Cambridge Cambridge University Press 2004 - xiv, 427 p. ; 24 cm ISBN: 9780521670890 Subjects--Topical Terms: Computer Science Dewey Class. No.: 005.1015113 / HUT