"Goedel's Proof: With a foreword by D.R. Hofstadter" - читать интересную книгу автора (Ernest Nagel, James R. Newman, Douglas R. Hofstadter)