TY  - BOOK
AU  - Anderson,John Mueller
AU  - Johnstone,Henry W.
TI  - Natural deduction
PY  - 1962///
CY  - Belmont, Ca.
PB  - Wadsworth Publishing Co.
KW  - Logic, Symbolic and mathematical
KW  - Metamathematics
ER  -