|
出版社：共立出版
出版日：2010年06月10日頃
ISBN10：4320019350
ISBN13：9784320019355
販売価格：3,850円
還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で、従来の論理関係の教科書に見られない内容を扱って初歩から解説。『証明論入門（数学基礎論 改題）』として1988年に改題発行後、以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け再発行するものです。
序論
第1章 証明の形式化
第2章 自然数論の無矛盾性の証明
第3章 自然数論の無矛盾性：Godelの考察
第4章 二階論理
第5章 最近の話題
演習問題の解答
文献
索引
|
| ショップ | 古本・中古価格 | 在庫 | 詳細 |
|---|---|---|---|
| アマゾン（中古） |  検索中... | ||
| 楽天市場（中古） | 検索中... | ||
|
| 検索中... | ||
| au PAY マーケット（中古）
| 検索中... | ||
| メルカリ | 検索中... | ||
| 楽天ラクマ | 検索中... | ||
| Yahoo!フリマ | 検索中... | ||
ネットオフ
| 検索中... | ||
| 駿河屋 | 検索中... | ||
| ブックオフオンライン | 検索中... | ||
| スーパー源氏 | 検索中... | ||
| 日本の古本屋 | 検索中... | ||
| ジモティー | 検索中... | ||
| Yahoo!オークション | 検索中... | ||
| モバオク | 検索中... | ||
| DMM通販（中古） | 検索中... | ||
| HMV & BOOKS（中古） | 検索中... | ||
|
| 検索中... | ||
|
| 検索中... | ||
|
| 検索中... | ||
| 楽天kobo（電子書籍） | 検索中... | ||
|
| 検索中... | ||
新品・買取・口コミ |
|---|
関連書籍 |
|---|
履歴すべて削除 |
|---|
キャンペーン・割引クーポン |
|---|
|
【買取】駿河屋☆買取アップキャンペーン
【買取】送料やダンボール、キャンセル返送料すべて無料！おすすめの古本買取サービス
|
/ 
