Understanding natural deduction

Kozy, John Jr.. Understanding natural deduction: a formalist approach to introductory logic / John Kozy, Jr. . - Encino : Belmont : Dickenson Publishing Company, Inc., 1974 . - ix, 236 p. schem. 22 cm.
0-8221-0128-9