TY  - BOOK
AU  - Anderson,John M.
AU  - Johnstone,Henry W
TI  - Natural deduction: the logical basis of axiom systems 
U1  - 164 
PY  - 1963///
CY  - Belmont
PB  - Wadsworth Pub.
KW  - Logic, Symbolic and mathematical
KW  - Metamathematics
N1  - Includes index
ER  -