ゲーデルと20世紀の論理学が完結

ゲーデル生誕100年にあたる昨年に刊行が始まった「ゲーデルと20世紀の論理学」(東京大学出版会)が完結しましたね。私のサイトには「ゲーデル」をキーワードに来られる方も多いので。各巻3990円、高いなあと思いながらも・・・ええ、

  1. ゲーデルの20世紀
  2. 完全性定理とモデル理論
  3. 不完全性定理と算術の体系
  4. 集合論とプラトニズム

413064095X413064096841306409764130640984