TY  - GEN
AU  - DAWSON, John W.
TI  - Why Prove it Again: alternative proofs in mathematical practice
SN  - 9783319173672
U1  - 511.3 
PY  - 2015///
CY  - New York
PB  - Springer international 
KW  - Proof theory
KW  - Global analysis (Mathematics)
ER  -