Ferrante, Jeanne,  1949- <br/><br/>
The computational complexity of logical theories / 
Jeanne Ferrante, Charles W. Rackoff. 
 - Berlin ;  New York :  Springer-Verlag,  1979. 
 - x, 243 p. :  ill. ;  24 cm. 
 - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann  718 .
 - Lecture notes in mathematics (Springer-Verlag) ;  718 .
<br/><br/> Includes index 
<br/><br/>Bibliogr.: p. [234]-238. 
<br/><br/><label>ISBN: </label>0387095012 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Predicate calculus<br/>Computational complexity