Kowalski, Robert. <br/><br/>
Logic for problem solving / 
Robert Kowalski. 
 - New York :  Elsevier North Holland,  c1979. 
 - 287 p. :  ill. ;  24 cm. 
 - Artificial intelligence series The Computer science library .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 247-260. 
<br/><br/><label>ISBN: </label>0444003657 
<br/><br/><label>LCCN: </label>79022659  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Problem solving.<br/>Computer programming.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA63  / .K68 
<br/><br/><label>Dewey Class. No.: </label>519.7