Title: A system of formal logic
Subjects: Logic