| 著者 | J.N.クロスリー C.J.アッシュ C.J.ブリックヒル J.C.スティルウェル N.H.ウィリアムス 著 / 田中尚夫 訳 |
|---|---|
| 出版社 | 共立出版 |
| 判型 | A5 |
| 頁数 | 200 頁 |
| ジャンル | 専門書 |
| ISBNコード | 9784320113183 |
大学初年級の数学的思考を経験した人を対象に、現代数理論理学がどのような内容のものかを解説した入門書。
『共立全書533. 現代数理論理学入門』として1977年初版発行以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け、より読みやすいA5版に拡大し、単行本に改装し発行するものです。
▼目次
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
付録 進んだ読者の手びき
訳注
訳者解説
『共立全書533. 現代数理論理学入門』として1977年初版発行以来、長年にわたり多数の読者にご愛読いただいてまいりました。この度、多くの読者からの要望を受け、より読みやすいA5版に拡大し、単行本に改装し発行するものです。
▼目次
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
付録 進んだ読者の手びき
訳注
訳者解説
復刊投票時のコメント (全15件)
2006/10/10
2006/10/10
2006/08/22
2006/08/22
2005/08/06
2005/08/06
2004/12/13
2004/12/13
2017/04/28
2017/04/28