La computadora universal: De Leibniz a Turing es un libro que explora la historia y los conceptos detrás de las computadoras modernas. Martin Davis ilustra cómo las computadoras son esencialmente motores de lógica, incorporando ideas desarrolladas por lógicos como Leibniz, Boole y Gödel, culminando en las ideas de Alan Turing. El libro traza el desarrollo de estos conceptos, revelando cómo y por qué funcionan las computadoras y cómo surgieron los algoritmos dentro de ellas.