---

＜図書＞
ゲーデル ノ 20セイキ
ゲーデルの20世紀 / 田中一之編
(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)

出版者	東京 : 東京大学出版会
出版年	2006.7
本文言語	日本語
大きさ	x, 228p : 挿図, 肖像 ; 22cm
著者標目	田中, 一之 <タナカ, カズユキ>
件　名	BSH:Gödel, Kurt BSH:数学基礎論 -- 歴史  全ての件名で検索 BSH:記号論理学 -- 歴史  全ての件名で検索
一般注記	欧文タイトルは標題紙裏より 参考文献: 各部末

 類似資料