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

 - 2rd edition 
 - United Kingdom  Cambridge University Press  2004 
 - xiv,427pp  illustration  22cm 
<br/><br/><label>ISBN: </label>9780521543101 
<br/><br/><label>Subjects--Topical Terms: </label>
<br/><br/><label>Dewey Class. No.: </label>005.1015 HUT  / 1