TY  - RPRT
TI  - The Informal Logic of Mathematical Proof
AU  - Andrew Aberdein
PY  - 2003
DO  - 10.1007/1-4020-5034-8_8
UR  - https://arxiv.org/abs/math/0306298
ID  - math/0306298
ER  -