Why prove it again? : alternative proofs in mathematical practice /
John W. Dawson, Jr ; with the assistance of Bruce S. Babcock and with chapter by Steven H. Weintraub
- xi, 204 páginas : ilustraciones
9783319173672
Teoría de la demostración Lógica simbólica y matemática