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