HUTH,MICHAEL;RYAN,MARK <br/><br/>
Logic In Computer Science: Modelling and Reasoning about Systems 

 -  UK:Cambridge University Press  2004 
 - 427 p. 
<br/><br/><label>ISBN: </label>9780521543101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic Programming
<br/><br/><label>Dewey Class. No.: </label>005.115  / H87