Title: The computational complexity of logical theories
Subjects: Computational complexity, Predicate calculus