トルケル・フランセーン (著) ゲーデルの定理――利用と誤用の不完全ガイド
http://www.amazon.co.jp/dp/4622075695