作者	恩德滕
出版社
出版时间	2006-01-01

特色：
“本书内容严密、完整、一致，很好地介绍了逻辑实践……” ——douglas cannon,华盛顿大学 “这本书写作思路清晰缜密。我采用这本书作为教材的原因是，它详细且严密地讲述了谓词演算，详细且极好地讨论了不完备性现象，并且采用伯克利学派开发的标准记号。” ——karel prikr，明尼苏达大学 “本书数学上非常严格，而且示例比其他图书都丰富。因此我已经决定将本书用作教材。” ——sun-joo shin，圣母大学 本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题（比如有限模型），还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。

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