ゲーデルと２０世紀の論理学　２　完全性定理とモデル理論

田中一之／編　田中・坪井明人・野本和幸／執筆
東京大学出版会
2006年12月5日第2刷（初版は同年10月）

「数学の構造に関する研究と言語の意味論的分析の二面性・・」はじめに　◆序＋3篇