La Máquina Universal. Leibniz y el origen de la computación
2006·divulgacion
Este libro profundiza en las ideas de Gottfried Wilhelm Leibniz sobre el cálculo lógico y la creación de un lenguaje universal ('Characteristica universalis') que podría resolver disputas a través del cálculo, trazando sus conexiones con los fundamentos de la computación moderna.