TY  - BOOK
AU  - Ferrante,Jeanne
AU  - Rackoff,Charles W.
TI  - The computational complexity of logical theories
SN  - 0387095012
PY  - 1979///
CY  - Berlin
PB  - Springer-Verlag
KW  - Predicate calculus
KW  - Computational complexity
N1  - Includes index; Bibliography: p. 234-238
ER  -