ゲーデルと20世紀の論理学(ロジック) 2 /田中一之
販売価格
4,180
円 (税込)
送料無料
- 出荷目安:
- 1~2営業日で出荷
たまるdポイント(通常) 38
※たまるdポイントはポイント支払を除く商品代金(税抜)の1%です。
dカードでお支払ならポイント3倍
- 商品情報
- レビュー
≪商品情報≫
著者名:田中一之
出版社名:東京大学出版会
発行年月:2006年10月
判型:A5
ISBN:9784130640961
≪内容情報≫
ゲーデルが最初に証明した重要定理は、1階述語論理の完全性。この基本概念を、現代的な視点から平易に説明。モデル理論が持つ数学的構造に関する研究と言語の哲学的分析の両側面を、それぞれ丁寧に解説。
著者名:田中一之
出版社名:東京大学出版会
発行年月:2006年10月
判型:A5
ISBN:9784130640961
≪内容情報≫
ゲーデルが最初に証明した重要定理は、1階述語論理の完全性。この基本概念を、現代的な視点から平易に説明。モデル理論が持つ数学的構造に関する研究と言語の哲学的分析の両側面を、それぞれ丁寧に解説。