Currently I'm struggling to get through Gödel, Escher, Bach. I like the ideas presented, especially the parallels between music and art (which I know little about) on one hand, and mathematics and computer science (which I know more about) on the other hand. But I think that it lacks focus and a clear thread. Additionally, I already know most of the mathematical concepts presented in the book, so I don't feel like I benefit much from the long chapters detailing various proofs and formal systems. To make matters worse, Hofstadter avoids using conventional notation and terminology, so I'll be reading through page upon page of detailed descriptions of his own little formal system only to finally realize "Oh, he's just describing propositional logic in a roundabout way".
Meanwhile, I've got a bunch of other interesting books sitting on my shelf that I'd like to read. Alas, there are only about 300 pages left...