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

 - Cambridge  Cambridge Univesity Press  2007 
 - xiv, 427 p. ;24 cm 
<br/><br/><label>ISBN: </label>9780521670890 
<br/><br/><label>Dewey Class. No.: </label>005.1015  / HUT