J.N.Crossley/C.J.Ash/C.J.Brickhill/J.C.Stillwell/N.H.Williams/田中尚夫
大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどのような内容のものかを解説した入門書。『共立全書553.現代数理論理学入門』として1977年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受けより読みやすいA5版に拡大し単行本に改装し発行するものです。第1章 歴史的概観第2章 述語論理の完全性第3章 モデル理論第4章 チューリング計算機と帰納的関数第5章 ゲーデルの不完全性定理第6章 集合論付録 進んだ読者の手びき訳注訳者解説