1.

図書
図書
1. ゲーデルの世界 : その生涯と論理
ジョン・L・カスティ, ヴェルナー・デパウリ著 ; 増田珠子訳
出版情報: 東京 : 青土社, 2003.1
所蔵情報: loading…
2.

図書
図書
2. 完全性定理とモデル理論
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.10
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2
所蔵情報: loading…
3.

図書
図書
3. ゲーデルの20世紀
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.7
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1
所蔵情報: loading…