Robinson, J. A. <br/><br/>
Logic :  form and function ; the mechanization of deductive reasoning / 
J. A. Robinson 
 - Edinburg :  University Press,  1979 
 - vi, 312 p. :  ill. ;  23 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 300-302. 
<br/><br/><label>ISBN: </label>0852243057 
<br/><br/><label>LCCN: </label>79-312304 //r85 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Form (Logic)<br/>Predicate calculus<br/>Reasoning