1.

図書
図書
1. 逆数学と2階算術
田中一之著
出版情報: 名古屋 : 河合文化教育研究所 , 東京 : 河合出版 (発売), 1997.8
シリーズ名: 数学基礎論シリーズ / 倉田令二朗監修 ; 4巻
所蔵情報: loading…
2.

図書
図書
2. 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より
田中一之編・監訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1999.2
所蔵情報: loading…
3.

図書
図書
3. 数学基礎論講義 : 不完全性定理とその発展
田中一之 [ほか] 著
出版情報: 東京 : 日本評論社, 1997.3
所蔵情報: loading…
4.

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

図書
図書
5. 逆数学 : 定理から公理を「証明」する
ジョン・スティルウェル著 ; 川辺治之訳
出版情報: 東京 : 森北出版, 2019.2
所蔵情報: loading…