数理逻辑：证明及其限度(第二版)（逻辑与形而上学教科书系列）
图书信息
书名：数理逻辑：证明及其限度(第二版)（逻辑与形而上学教科书系列）作者：郝兆宽,杨睿之,杨跃
包装：平装
开本：16
出版社：复旦大学出版社
出版时间：2020-08-01
图书简介
数理逻辑是数学中重要的分支之一，涵盖了许多重要概念和理论。本书是“逻辑与形而上学教科书系列”中的一本，其内容涵盖了一阶逻辑、递归论、一阶算术以及哥德尔的不完全性定理等。全书共10章，优秀章是预备知识，主要介绍书中所需要的集合论的初步知识；第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理；第七章是递归论的基本知识，也是为后面内容所做的准备；第八章介绍一阶算术的一些片段；第九和第十章是哥德尔的两个不完全性定理。除了讲解各个知识点本身之外，本书还介绍了它们的思想背景，也简单介绍了数理逻辑当代研究成果及其与本书内容的联系。本书更加强调逻辑与元数学的联系，更多介绍语义部分，更加强调语法与语义的统一。适合作为数理逻辑系列课程的导论教材，可以为进步学习与研究数理逻辑后续课程建立兴趣并打下基础。
推荐理由
本书作为逻辑与形而上学教科书系列的一本，适用于对数学基础感兴趣的读者。本书全面而深入地讲解了数理逻辑的基本知识，包括一阶逻辑、递归论、一阶算术以及哥德尔的不完全性定理等。相较于其他数理逻辑教材，本书更注重逻辑与元数学的联系，更多介绍语义部分，强调语法与语义的统一，为数理逻辑进修打下基础。因此，如果您对于数理逻辑甚至是数学有一定的兴趣与了解，那么本书是您不容错过的一本读物。
