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. 
<br/><label>  ISBN: </label>0-8221-0128-9