Robinson, J. A. <br/><br/>
Logic form and function :  the mechanization of deductive reasoning / 
J. A. Robinson 
 - Edinburgh :  The University Press,  c1979 
 - vi, 312 p. :  ill. ;  22 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0852243057 :  USD 29.50 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Form (Logic)<br/>Predicate calculus<br/>Reasoning
<br/><br/><label>Dewey Class. No.: </label>160