Title: Formal logic, a modern introduction
Subjects: Logic