TY - BOOK AU - Kozy,John TI - Understanding natural deduction: a formalist approach to introductory logic SN - 0-8221-0128-9 PY - 1974/// CY - Encino, Belmont PB - Dickenson Publishing Company, Inc. ER -