ゲーデルと２０世紀の論理学　３　不完全性定理と算術の体系

田中一之／編　田中・鹿島亮・山崎武・白幡優／執筆
東京大学出版会
2007年3月15日初

「第3巻では、いよいよハイライトの定理と、それに関連した算術の形式体系の話題を扱う。」はじめに　　◆序＋3篇