Understanding natural deduction: a formalist approach to introductory logic - Kozy, John (Dickenson Pub. Co., 1974)