Huth, Michael  <br/><br/>
Logic in computer science  modelling and reasoning about systems 
Michael Huth 
 - 2nd ed. 
 - Cambridge  Cambridge University Press  2004 
 - xiv, 427p. 
<br/><br/><label>ISBN: </label>9780521670890 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic<br/>Logic programming
<br/><br/><label>Dewey Class. No.: </label>006.333 H9712l2