Dawson, John W. 1944- ,

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

QA9.54 / D38