..
【利用不可】
書店員向け情報 HELP
出版者情報
復刊 現代数理論理学入門
発行:共立出版
A5判
200ページ
定価
4,200円+税
- 書店発売日
- 2017年4月8日
- 登録日
- 2017年3月13日
- 最終更新日
- 2017年4月13日
紹介
大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどのような内容のものかを解説した入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受けより読みやすいA5版に拡大し単行本に改装し発行するものです。
目次
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
付録 進んだ読者の手びき
訳注
訳者解説
上記内容は本書刊行時のものです。