数理逻辑已经从数学的一个独特分支，发展成为计算机科学以及数学其他部分不可或缺的工具。这本书以简洁明晰，生动易懂的，介绍了数理逻辑这一主题——尽管逻辑可能是一个非常深奥的问题，即使对数学家来说也是如此。
《数理逻辑是什么？》一书最初出版于50年前，介绍了现代数理逻辑中的关键思想，而不涉及专业逻辑学家所进行的复杂数学计算。书中以轻松愉快的风格，简洁地介绍了相关内容。尽管这本书相对简短，但囊括了所有基本知识。新版本的书中增加了三个新章节，涵盖了自动定理证明、超越传统一阶逻辑的逻辑以及其他逻辑，包括直觉逻辑、自由逻辑和模态逻辑。
对于计算机科学和数理逻辑专业的学生来说，本书是一本精彩的知识概要，也是对课程的宝贵补充。本书给出了进一步阅读的建议，帮助读者了解这个结合了数学、哲学和计算机科学，正在蓬勃发展的领域。
《数理逻辑是什么？（第二版）》
第一章：历史概览
第二章：谓词演算的完全性
第三章：模型论
第四章：图灵机
第五章：哥德尔不完全性定理
第六章：实践中的可计算性
第七章：集合论
第八章：超越谓词演算
第九章：进一步思考