種別[hbm] セクションJRF の公開ブックマーク 日時2006年06月28日 21:33:08 元URLhttp://www.utp.or.jp/series/godel.html タグ[論理学] [集合論] ゲーデルと２０世紀の論理学【全4巻】：シリーズ・講座：東京大学出版会