Automation of reasoning -1  classical papers on computational logic 1957-1966 
ed. by Jorg Siekmann and Graham Wrightson 
 - Berlin  Springer-Verlag  1983 
 - xii, 525p. 
<br/><br/><label>ISBN: </label>3540120432 
<br/><br/><label>Dewey Class. No.: </label>001.535  / N832.1