1.

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

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

電子ブック
ＥＢ
3. 完全性定理とモデル理論
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.10
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000049448