Cómo demostrarlo: un enfoque estructurado Daniel J. Velleman es un libro de estudio en inglés que ayuda a los estudiantes en la transición de la resolución de problemas a la redacción de pruebas. Este libro se centra en las matemáticas avanzadas y la informática teórica, explicando con claridad las técnicas y el lenguaje de la lógica y la teoría de conjuntos.
La tercera edición incluye un nuevo capítulo sobre teoría de números y más de 150 ejercicios adicionales. El libro comienza con los principios básicos de la lógica y la teoría de conjuntos y, a continuación, guía paso a paso por medio de técnicas de demostración complejas usando ejemplos y 'trabajo en borrador'. Con ello se subraya el papel esencial de las pruebas en las matemáticas y la informática.
Cómo demostrarlo es una obra de consulta accesible para estudiantes y profesionales que desean profundizar sus conocimientos en métodos formales de demostración. Se ajusta especialmente bien en contenido con temas como la lógica matemática, la teoría de conjuntos y la lógica dentro de las matemáticas.