翌日発送・ゲーデルと２０世紀の論理学（ロジック） ２/田中一之

内容情報
ゲーデルが最初に証明した重要定理は、１階述語論理の完全性。この基本概念を、現代的な視点から平易に説明。モデル理論が持つ数学的構造に関する研究と言語の哲学的分析の両側面を、それぞれ丁寧に解説。