Title: Propostional logic
First published: 1976