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

第2章 述語論理の完全性

第3章 モデル理論

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

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

第6章 集合論

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