Utilizando un enfoque pedagógico único, este texto presenta la lógica matemática guiando a los estudiantes en la implementación de los conceptos lógicos subyacentes y las pruebas matemáticas a través de la programación Python. Este enfoque, adaptado a las intuiciones y fortalezas únicas de la población cada vez mayor de estudiantes expertos en programación, lleva la lógica matemática a la zona de confort de estos estudiantes y proporciona una claridad que solo se puede lograr mediante una comprensión práctica profunda y la satisfacción. de haber creado código de trabajo. Si bien el enfoque es único, el texto sigue el mismo conjunto de temas que normalmente se tratan en un curso universitario de un semestre, incluida la lógica proposicional y la lógica de predicados de primer orden, que culmina con una prueba del teorema de completitud de Gödel. También se proporciona un adelanto del teorema de incompletitud de Gödel. El libro de texto va acompañado de una extensa colección de tareas de programación, esqueletos de código y pruebas unitarias. Se asume familiaridad con las pruebas y dominio básico de Python.