Gödel, Escher, Bach : an eternal golden braid - Hofstadter, Douglas R. (London : Penguin, 2000)
Keywords: Artificial intelligence; Metamathematics