Found in 1 comment on Hacker News
timtadh · 2011-08-24 · Original thread
I recommend The Incompleteness Phenomenon over GEB[1]. It thoroughly presents Gödel's Completeness and Incompleteness theories at a level appropriate to the collegiate Math or Computer Science student.

[1] http://www.amazon.com/Incompleteness-Phenomenon-Martin-Golds...

Fresh book recommendations delivered straight to your inbox every Thursday.