Gödel, Escher, Bach by Douglas Hofstadter View book Related Concepts Computability Theory Halting Problem Gödel's Incompleteness Theorems Recursion Undecidability ← Back to all books