The computational complexity of logical theories
By: Jeanne Ferrante, Charles W. Rackoff.
Contributors: Rackoff, Charles W., 1948- joint author.
Series: Lecture notes in mathematics ; 718; Lecture notes in mathematics (Springer-Verlag) ;; 718.
Publisher: Springer-Verlag
Published: 1979
Place of publication: Berlin; New York
Language: eng
Number of pages: 243
Subjects: Predicate calculus; Computational complexity
Notes: Bibliography: p. [234]-238.
Includes index.