Ferrante, Jeanne  (1949- ). <br/><br/>
The computational complexity of logical theories / 
Jeanne Ferrante, Charles W. Rackoff. 
 - Berlin [etc.] :  Springer-Verlag,  1979. 
 - X, 243 s. ;  24 cm. 
 - Lecture Notes in Mathematics,  718  0075-8434 ; .
 - Lecture Notes in Mathematics  718 .
<br/><br/>Bibliogr. s. 234-235. Indeks. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540095012 0387095012 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Złożoność obliczeniowa (informatyka).<br/>Rachunek kwantyfikatorów.
<br/><br/><label>Universal Decimal Class. No.: </label>51