Title: Propositional logic
First published: 1977
Subjects: Logic