TY  - BOOK
AU  - Anderson, John M.
TI  - Natural deduction : the logical basis of axiom systems
U1  - 162 
PY  - 1963///
CY  - Belmont, California
PB  - Wadsworth
ER  -