Huth, Michael. <br/><br/>
Logic in Computer Science 

 -  Classics  2021 
 - 536p., 
<br/><br/><label>ISBN: </label>9780521670890