フカンゼンセイ テイリ ト サンジュツ ノ タイケイ
田中一之編
東京 : 東京大学出版会, 2007.3
図書等2007
xii, 284p : 挿図, 肖像 ; 22cm
Incompleteness theorems and formal systems of arithmetic
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3
欧文タイトルは標題紙裏による
参考文献: 各部末
日本
日本語 (jpn)
日本語 (jpn)
田中, 一之 (タナカ, カズユキ) [ 田中, 一之(1955-) (タナカ, カズユキ) ]
NDC9:410.9
9784130640978
BA81128194
