Cover Image

The computational complexity of logical theories /

Show other versions (1)
Bibliographic Details
Main Author: Ferrante, Jeanne, 1949-
Corporate Author: SpringerLink (Online service)
Other Authors: Rackoff, Charles W., 1948-
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, 1979.
Series:Lecture notes in mathematics (Springer-Verlag) ; 718.
Subjects:
Predicate calculus.
Computational complexity.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (x, 243 pages) : illustrations.
Bibliography:Includes bibliographical references (pages [234]-238) and index.
ISBN:9783540351979 (electronic bk.)
3540351973 (electronic bk.)
ISSN:0075-8434 ;