カンゼンセイ テイリ ト モデル リロン
田中一之編
東京 : 東京大学出版会, 2006.10
図書等2006
xii, 286p : 挿図, 肖像 ; 22cm
Completeness theorem and model theory
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2
欧文タイトルは標題紙裏による
参考文献: 各部末
日本
日本語 (jpn)
日本語 (jpn)
田中, 一之 (タナカ, カズユキ) [ 田中, 一之(1955-) (タナカ, カズユキ) ]
NDC8:410.9
NDC9:410.9
4130640968
BA78934027
