Title: Deductive forms, an elementary logic
Subjects: Logic