1.

電子ブック

EB
北田均著
出版情報: 京都 : 現代数学社, 2011.5
シリーズ名: 大数学者の数学 ; 6
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000041459
2.

図書

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

図書

図書
ジョン・W.ドーソン Jr著 ; 村上祐子, 塩谷賢訳
出版情報: 東京 : 新曜社, 2006.12
所蔵情報: loading…