Aunque no es un libro de programación, 'Gödel, Escher, Bach' explora los principios subyacentes de la recursión, la auto-referencia y los sistemas formales, que son la base teórica de la compilación y la teoría de lenguajes. Presenta estas ideas de una manera filosófica y artísticamente entrelazada, lejos de un manual técnico.





















