Michael Huth <br/><br/>
Logic in Computer Science Modelling and Reasoning about Systems 

 - 2nd 
 -  Cambridge University Press   2010 
<br/><br/> YES 
<br/><br/><label>ISBN: </label>978-0-521-67089-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science Computer Science 
<br/><br/><label>Dewey Class. No.: </label>