Understanding natural deduction a formalist approach to introductory logic - Kozy John (Encino Dickenson Publishing, 1974)
Keywords: PHILOSOPHY