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

 - 2nd 
 - Cambridge :   Cambridge University Press,   c2004 
 - XIV, 427 p.  : ill 
<br/><br/>Includes Bibliographical References and Index 
<br/><br/><label>ISBN: </label>0521670896 
<br/><br/><label>ISSN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Logic<br/>Logic Programming Computer Science
<br/><br/><label>Dewey Class. No.: </label>005.05113  / HUT