ゲーデルの不完全性定理

説明

レイモンド・スマリヤン　著
高橋 昌一郎　訳
丸善株式会社

第1章 ゲーデルの証明の基礎概念
第2章 数論におけるタルスキーの定理
第3章 累乗法に基づくペアノの数論における不完全性
第4章 累乗法に基づかない数論
第5章 ω無矛盾性に基づくゲーデルの証明
第6章 ロッサー体系
第7章 シェファードソンの表現定理
第8章 定義可能性と対角化
第9章 無矛盾性の証明不可能性
第10章 証明可能性と真理性に関する一般概念
第11章 自己言及体系

状態：Ｂ
第2刷。カバーに経年ヤケシミ・一点破れがございます。書き込みなし。