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

 -  Cambridge University Press  2004 
 - xiv, 
<br/><br/><label>ISBN: </label>0-521-67089-6  395 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER
<br/><br/><label>Dewey Class. No.: </label>005.115  / HUT