Burke, Edmund. <br/><br/>
Logic and its applications / 
/ Edmund Burke and Eric Foxley. 
 - London  ; New York :  : Prentice Hall,  , c1996. 
 - xviii, 310 p. :  : ill. 
 - Prentice-Hall International series in computer science. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0130302635 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Logic, Symbolic and mathematical