Title: The computational complexity of some logical theories
First published: 1975
Subjects: Logic, Symbolic and mathematical, Sequential machine theory, Symbolic and mathematical Logic
LC classification: QA267.5S4 R3