「ゲーデルの不完全性定理」　レイモンド・スマリヤン
ttp://www.amazon.co.jp/exec/obidos/ASIN/4621042041/249-2861253-8407568

これが簡潔･明快で厳密だとｵﾓ
ただ、訳書は誤訳があるらしいので、原著のほうがいいかも