Kowalski, Robert. <br/><br/>
Logic for problem solving / 
Robert Kowalski.; Edit. Nils J. Nilsson. 
 - New York :  Elsevier North Holland,  1979. 
 - 287 p. :  ill. ;  24 cm. 
 - Artificial intelligence series The Computer science library .
<br/><br/><label>ISBN: </label>0-444-00365-7 0-444-00368-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Problem solving<br/>Computer programming<br/>Logic, Symbolic and mathematical.