待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。