>>183-184
この本ですか?

現代数理論理学序説 (古森雄一・小野寛晰 著)
http://www.amazon.co.jp/dp/4535785562
http://www.nippyo.co.jp/book/5333.html
http://d.hatena.ne.jp/ytb/20100619/p2