TY  - BOOK
AU  - Anderson, John Mueller,
AU  - Johnstone, Henry W.,
TI  - Natural deduction: the logical basis of axiom systems 
AV  - BC71 A53
PY  - 1962///
CY  - Belmont, california
PB  - Wadsworth
KW  - Matemáticas
KW  - Lógica simbólica y matemática
ER  -