Huth, Michael  <br/><br/>
Logic in computer science: modelling and reasoning about systems 

 - 2nd ed. 
 - Cambridge  Cambridge University Press  2018 
 - xiv, 427p. 
<br/><br/><label>ISBN: </label>9780521543101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science <br/>Mathematical logic
<br/><br/><label>Dewey Class. No.: </label>005.1015113 HUT/L