John Kozy

• Understanding natural deduction