Title: Some upper and lower bounds on decision procedures in logic
First published: 1974
Subjects: Logic, Symbolic and mathematical, Sequential machine theory, Symbolic and mathematical Logic
LC classification: QA267.5S4 F45