Title: The computational complexity of logical theories /
Authors: Ferrante, Jeanne, 1949-; Rackoff, Charles W., 1948-; Rackoff, Charles W., 1948-
Publisher: Springer-Verlag,
Year: 1979
Subjects: Predicate calculus.; Computational complexity.