1.

図書
図書
1. ゲーデル不完全性発見への道
北田均著
出版情報: 京都 : 現代数学社, 2011.5
シリーズ名: 大数学者の数学 ; 6
所蔵情報: loading…
2.

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