城西大学水田記念図書館 OPAC

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

出版者	東京 : 東京大学出版会
出版年	2006.7-2007.7
本文言語	und
大きさ	4冊 ; 22cm
著者標目	田中, 一之 <タナカ, カズユキ>
一般注記	ゲーデル生誕100年を記念して刊行欧文タイトルは標題紙裏による


1	1 ゲーデルの20世紀 / 田中一之編東京 : 東京大学出版会 , 2006.7
2	2 完全性定理とモデル理論 / 田中一之編東京 : 東京大学出版会 , 2006.10
3	3 不完全性定理と算術の体系 / 田中一之編東京 : 東京大学出版会 , 2007.3
4	4 集合論とプラトニズム / 田中一之編東京 : 東京大学出版会 , 2007.7

データ種別	図書
別書名	その他のタイトル:Gödel and logic in the 20th century 異なりアクセスタイトル:ゲーデルと20世紀の論理学異なりアクセスタイトル:ゲーデルと20世紀の論理学ロジック
書誌ID	2000024401
NCID	BA77788892