Title: Understanding natural deduction
Subjects: Logic, Outlines, syllabi