TY  - BOOK
AU  - Anderson John M
AU  -  Johnstone Henry W
TI  - Natural deduction :  the logical basis of axiom systems
U1  - R12, K2 
PY  - 1962///
KW  - PHILOSOPHY
ER  -