La Sintaxis de la Verdad
2006·no ficcion
Una profunda exploración de la lógica y la filosofía de las matemáticas, analizando el trabajo de Gödel y Tarski, y discutiendo las limitaciones inherentes a los sistemas formales, así como los diferentes conceptos de verdad.
