[rwallace]

I can't comment on the Bach or Escher parts, but he does a very creditable job summarizing Gödel's work for a lay audience. Of course if you want to take up this stuff professionally, more in-depth study will be required, that goes without saying - GEB doesn't claim to be a textbook - but it is one of the best popular science books around.