復刊現代数理論理学入門

書籍情報
シリーズ名復刊・復刻・新装版 復刊 
ISBN978-4-320-11318-3
判型A5 
ページ数212ページ
発売日2017年04月12日
本体価格4,200円
復刊現代数理論理学入門 書影
復刊現代数理論理学入門

新刊

大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどのような内容のものかを解説した入門書。『共立全書533.現代数理論理学入門』として1977年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受けより読みやすいA5版に拡大し単行本に改装し発行するものです。

目次

第1章 歴史的概観

第2章 述語論理の完全性

第3章 モデル理論

第4章 チューリング計算機と帰納的関数

第5章 ゲーデルの不完全性定理

第6章 集合論

付録 進んだ読者の手びき
訳注
訳者解説