4/27
時点_ポイント最大10倍
ゲーデルと２０世紀の論理学（ロジック） ３ /田中一之
販売価格
4,180
円 （税込）
送料無料
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 38
+キャンペーンポイント（期間・用途限定） 最大9倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
≪商品情報≫
著者名：田中一之
出版社名：東京大学出版会
発行年月：2007年03月
判型：Ａ５
ISBN：9784130640978
≪内容情報≫
２つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
著者名：田中一之
出版社名：東京大学出版会
発行年月：2007年03月
判型：Ａ５
ISBN：9784130640978
≪内容情報≫
２つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
