TY  - BOOK
AU  - Dawson,John W.
AU  - Babcock,Bruce S.
AU  - Weintraub,Steven H.
TI  - Why prove it again?: alternative proofs in mathematical practice 
SN  - 9783319173672
AV  - QA9.54 D38
PY  - 2015///]
CY  - Cham
PB  - Birkhäuser
KW  - Teoría de la demostración
KW  - Lógica simbólica y matemática
ER  -