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...