Title: Complete problems in the first-order predicate calculus
First published: 1979
Subjects: Computational complexity, Predicate calculus
LC classification: QA76 .I4 no. 978, QA9.35 .I4 no. 978