Gödel, Escher, Bach : an eternal golden braid - Hofstadter, Douglas R. (New York : Basic Books, 1999)
Keywords: Metamathematics; Symmetry; Artificial intelligence