数理逻辑（英文版）（第2版）(图灵出品）
图书信息
书名：数理逻辑（英文版）（第2版）(图灵出品）作者：恩德滕
包装：平装
开本：16
页数：317页
全文字数：440000
出版社：人民邮电出版社
出版时间：2006-01-01
图书简介
《数理逻辑》(英文版第2版)是数理逻辑方面的经典教材，书中详细地介绍了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且涵盖了与计算机科学有关的主题，例如有限模型。本书组织结构更灵活，可根据教学需要节选内容；同时，本版增加了一些示例和阐释文字，使内容更加易于理解。 作为一本数理逻辑方面的经典教材，本书的可读性强，内容严密、完整、一致，并且包含丰富的示例和说明。本书以其独特的深度和广度，成为了许多知名大学的数理逻辑教材，例如麻省理工学院、加州大学伯克利分校、哥伦比亚大学和康奈尔大学等。如果你想深入了解数理逻辑领域，这本书将是你的不二选择。
推荐理由
《数理逻辑》是一本内容严密、完整、一致的经典教材，涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，例如有限模型。本书可读性强，组织结构灵活，增加了一些示例和阐释文字，并且被许多知名大学的数理逻辑课程选为教材，麻省理工学院、加州大学伯克利分校等都有采用。如果你对数理逻辑感兴趣，或是正在学习相关知识，那么《数理逻辑》是你不可错过的优秀参考书。
