This is (arguably) a better book than GEB ( http://en.wikipedia.org/wiki/Gödel,_Escher,_Bach ) for the literature-minded folks out there. I can't recommend it enough.