Ferrante, Jeanne <br/><br/>
Lecture Notes in Mathematics ( 718 ):  The Computational Complexity of Logical Theories 
/ by Jeanne Ferrante 
 - Berlin:  Springer-Verlag:  1979. 
 - x, 243p. 
<br/><br/><label>ISBN: </label>3540095012 
<br/><br/><label>Dewey Class. No.: </label>511.3  / FER/L