The computational complexity of logical theories /

Bibliographic Details
Main Author: Ferrante, Jeanne, 1949-
Other Authors: Rackoff, Charles W., 1948-
Format: Book
Language:English
Published: Berlin : Springer, 1979.
Series:Lecture notes in mathematics ; LNM ; v. 718 v. 718
Subjects: