Gödel, Escher, Bach is fabulous so far. Really dense at times (I had to put it down and think for a while to figure out how Gödel's theorem, as presented in the book, was sorta the mathematical equivalent of saying "This statement is false") but fun and so worth it.