Metakides, George,  1945- <br/><br/>
Principles of logic and logic programming / 
George Metakides and Anil Nerode 
 - Amsterdam :  Elsevier,  1996 
 - xiii, 329 p. :  ill. ;  25 cm. 
 - Studies in computer science and artificial intelligence ;  13 .
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>0444816445 :  USD 162.50 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>005.131