Ferrante, Jeanne,  1949- <br/><br/>
The computational complexity of logical theories / 
/ Jeanne Ferrante, Charles W. Rackoff 
 - Berlin :  Springer-Verlag,  1979 
 - x, 243 p. :  ill. ;  24 cm. 
 - Lecture notes in mathematics (Springer-Verlag) ; 718 .
<br/><br/> Includes index 
<br/><br/>Bibliography: p. 234-238 
<br/><br/><label>ISBN: </label>0387095012 
<br/><br/><label>LCCN: </label>79-015338 //r85 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Predicate calculus<br/>Computational complexity