Este libro, a menudo una compilación o análisis de los escritos de Leibniz que describe su visión de una 'calculadora universal' o 'characteristica universalis', explora sus contribuciones a la lógica simbólica y los fundamentos de la computación mecánica.
