Title: Feasible computational methods in the propositional calculus
Subjects: Symbolic and mathematical Logic