Smullyan's "Forever Undecided", and Ernest Nagel's "Gödel's Proof" are the best explanations available, to my mind. I find GEB to be bloated, if all that one is interested in is Gödel. (There is much more to recommend GEB, but if all you want is Gödel's proof, see one of the above.)