[基礎11]論理と計算　萩谷昌己著
これはロジックの素人が書いた本だからダメね。なにも分かってない。

どうせ読むなら、
日本語なら、前原昭二「数学基礎論入門」：共立出版か。もっとも定評がある。
英語でよければオリジナルの論文を読むか。
すでに色々でてるけど、これにも原著の論文（の英訳）が出てるよ。
http://www.amazon.co.jp/exec/obidos/ASIN/0674324498/qid=1109691864/sr=1-2/ref=sr_1_10_2/249-0482041-9568352