Roads to Infinity: The Mathematics of Truth and Proof
Descubre cómo la teoría de conjuntos y la lógica formal se combinan para demostrar verdades matemáticas, con ejemplos claros que iluminan el poder de las pruebas rigurosas en un lenguaje accesible.