The computational complexity of logical theories

Author(s)

• Ferrante, Jeanne
• Rackoff, Charles W.

Bibliographic Information

The computational complexity of logical theories

Jeanne Ferrante, Charles W. Rackoff

（Lecture notes in mathematics, 718）

Springer-Verlag, 1979

• : Berlin
• : New York

Note

Bibliography: p. [234]-238

Includes index

• NCID: BA04004980
• ISBN:
  • 3540095012
  • 0387095012
• LCCN: 79015338
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: x, 243 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.35
  • DC : 510/.8 s
  • DC : 511/.3
• Subject Headings:
  • LCSH : Predicate calculus
  • LCSH : Computational complexity
• Parent Bibliography ID:
  • BA00146586