Title: Logic in algebraic form
First published: 1974
Subjects: Algebraic logic, Proof theory
LC classification: QA10 .C7