本/雑誌
現代数理論理学入門 復刊 / 原タイトル:What is Mathematical Logic?
J.N.クロスリー/他著 田中尚夫/訳
4620円
| ポイント | 1% (46p) |
|---|---|
| 発売日 | 2017年04月発売 |
| 出荷目安 | メーカー在庫あり:1-3日
※出荷目安について |
- 追跡可能メール便 送料無料
著者・出版社・関連アーティスト
関連記事
収録内容
| 1 | 第1章 歴史的概観 |
| 2 | 第2章 述語論理の完全性 |
| 3 | 第3章 モデル理論 |
| 4 | 第4章 チューリング計算機と帰納的関数 |
| 5 | 第5章 ゲーデルの不完全性定理 |
| 6 | 第6章 集合論 |
| 7 | 訳者解説 |
