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

 - 2/e 
 - New Delhi  Cambridge University Press  2018 
 - xiv, 427p. 
<br/><br/><label>ISBN: </label>9780521670890 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic
<br/><br/><label>Dewey Class. No.: </label>005.101  / Hut