ゲーデルと20世紀の論理学2

完全性定理——ゲーデルが学位論文で証明したこの重要定理を今日の形で述べるためには，モデル理論（意味論）の整備が必要であった．本書では，その数学的構造と言語の哲学的分析という二つの面から，それぞれのエキスパートがていねいに解説する． ゲーデルと20世紀の論理学【全４巻】

著者

田中　一之

出版社

東京大学出版会

発売日

2006-10-01

価格

3,800円（税込・書誌情報提供：openBD）

ISBN

9784130640961

ページ数

296ページ

発売済み