Kowalski, Robert <br/><br/>
Logic for problem solving 

 - New YorkUS  North Holland  1979 
 - 287 p. 
<br/><br/><label>Universal Decimal Class. No.: </label>18.08.01 K885