Kowalski, Robert <br/><br/>
Logic for problem solving / 
Robert Kowalski 
 - New York :  North Holland,  1979 
 - 287 p. :  ill. ;  24 cm. 
 - Artificial intelligence series .
<br/><br/> Includes index 
<br/><br/>Bibliography: p. 247-260 
<br/><br/><label>ISBN: </label>0444003657 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Problem solving<br/>Electronic digital computers--Programming<br/>Logic, Symbolic and mathematical<br/>Computers<br/>Logic