TOC
カンゼンセイ テイリ ト モデル リロン
田中一之編
東京 : 東京大学出版会, 2006.10
Book完全性定理——ゲーデルが学位論文で証明したこの重要定理を今日の形で述べるためには，モデル理論（意味論）の整備が必要であった．本書では，その数学的構造と言語の哲学的分析という二つの面から，それぞれのエキスパートがていねいに解説する．
| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
Library |
|
0051059 |
Regular |
|
|
2006
xii, 286p : 挿図, 肖像 ; 22cm
Completeness theorem and model theory
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2
欧文タイトルは標題紙裏による
参考文献: 各部末
Japan
Japanese (jpn)
Japanese (jpn)
田中, 一之 (タナカ, カズユキ) [ 田中, 一之(1955-) (タナカ, カズユキ) ]
NDC8:410.9
NDC9:410.9
4130640968
BA78934027
