TY  - BOOK
AU  - Anderson, John M
AU  - Johnstone, Henry W.
TI  - Natural deduction: the logical basis of axiom systems 
U1  - 162 21
PY  - 1962///
CY  - Belmont, California, Estados Unidos de América
PB  - Wadsworth Publishing Company, 
KW  - deducción
KW  - ddcri
KW  - Lógica
KW  - Unesco
KW  - Filosofía
ER  -