またゲーデル本出てた。
http://www.amazon.co.jp/gp/product/4130639005/ref=pd_lpo_k2_dp_sr_3?pf_rd_p=466449256&pf_rd_s=lpo-top-stripe&pf_rd_t=201&pf_rd_i=4622075695&pf_rd_m=AN1VRQENFRJN5&pf_rd_r=1DCGWNG26HPKQ67C0E85
内容は岩波の不完全性定理の完全な解説。
ページ上半分が元論文で下半分が文章での解説。
初学者には分からん内容。
不完全性定理既習でゲーデルのオリジナル証明に興味ある奴必携。
後ろの方に計算理論とかが多少紹介されてるが
基本的には初学者向けの論理学の学習にはならない。