Title: Lectures on propositional calculi
First published: 1984
Subjects: Propositional calculus
LC classification: QA9.3 .W65 1984