数理逻辑（第2版）

　　第0章 集合基础
　　第1章 命题逻辑
　　第2章 一阶逻辑
　　第3章 不可判定性
　　第4章 二阶逻辑
　　附录

　　Herbert B.Enderton，哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory（影印版已经由人民邮电出版社出版）和Linear Algebra。

　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。