TY  - BOOK
AU  - Kozy John
TI  - Understanding natural deduction :  a formalist approach to introductory logic
U1  - R12, L4 
PY  - 1974///
CY  - Encino
PB  - Dickenson Publishing      
KW  - PHILOSOPHY
ER  -