Huth, M. Logic in computer science : modelling and reasoning about systems / by M. Huth & M. Ryan. - 2nd ed. - Cambridge : Cambridge University Press, 2011. - xiv, 427 p. 25 cm. ISBN: 9780521670890 (pbk) Subjects--Topical Terms: Computer Logic. Dewey Class. No.: 005.1015113 / HUT/L