Robert Neidorf

• Deductive forms
• Deductive forms, an elementary logic