Aunque no trata directamente con la arquitectura de hardware, este libro explora los principios subyacentes de la recursión, la auto-referencia y los sistemas formales, que son fundamentales para entender cómo se construyen y funcionan los sistemas informáticos, desde el 'abajo arriba' de la lógica matemática a la emergencia de la computación.























