"Godel, Escher, Bach" - "Hofstadter, Douglas R." (New York, 1999)
Keywords: Metamathematics