Full title: Gödel, Escher, Bach: an Eternal Golden Braid. A 1979 book by Douglas Hofstadter.

Discusses various relevant topics, including:

• Bongard problems
• Godel's incompleteness theorem