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

 - New York  Cambridge University Press  2004 
 - 427  XiV 
<br/><br/><label>ISBN: </label>9780521543101 
<br/><br/><label>Dewey Class. No.: </label>005.1015 HUT