復刊現代数理論理学入門

共立出版
ジョン・Ｎ．クロスリー　田中尚夫　

• 価格: 4,620円（本体4,200円＋税）
• 発行年月: 2017年04月
• 判型: Ａ５
• ISBN: 9784320113183

内容情報

[BOOKデータベースより]

第１章　歴史的概観
第２章　述語論理の完全性
第３章　モデル理論
第４章　チューリング計算機と帰納的関数
第５章　ゲーデルの不完全性定理
第６章　集合論
訳者解説

[日販商品データベースより]

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