1.

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

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