数理逻辑（第2版）(图灵出品)
图书信息
书名：数理逻辑（第2版）(图灵出品)作者：恩德滕,Herbert B.Enderton,沈复兴,陈磊,孙运传
包装：平装
开本：16
页数：240页
出版社：人民邮电出版社
出版时间：2007-3
图书简介
本书自出版以来便成为数理逻辑领域的经典教材。其内容深入浅出，不仅说明了逻辑学的基础理论，还展示了相关的实践应用，并与计算机科学产生了交叉。同时，本书的组织结构更加灵活，教师可根据需要节选本书的内容进行授课，方便学生学习与教师教学。作为数理逻辑入门教材，本书可供数学、计算机和哲学等领域的学生使用。
推荐理由
作为数理逻辑领域的经典之作，本书深入浅出地讲解了逻辑学的基本理论，并展示了实践应用与计算机科学的交叉，不仅有助于数学、计算机和哲学领域的学生，也可供研究者作为参考资料。读者在学习逻辑学的同时，也能够感受到近几年来理论计算机科学与逻辑学相互影响的趋势，获得更全面的知识。
