The computational complexity of logical theories /
Ferrante, Jeanne, 1949-
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 .
Includes index
Bibliogr.: p. [234]-238.
0387095012
Predicate calculus
Computational complexity
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 .
Includes index
Bibliogr.: p. [234]-238.
0387095012
Predicate calculus
Computational complexity