Boyer, Robert S  <br/><br/>
Computational logic  

 - London:   Academic Press,   1979 
 - xiv, 397p.  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Motivation 
<br/><br/><label>Subjects--Index Terms: </label>Theory 
<br/><br/><label>Universal Decimal Class. No.: </label>519.68:510.6  / L9