数理逻辑

书籍简介:

本书是《数理逻辑：证明及其限度》的第二版，主要内容为数理逻辑的基本知识。全书共分10章：第一章是预备知识，主要介绍书中所需要的集合论的初步知识。第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理。第七章是递归论的基本知识，也是为后面内容所做的准备。第八章介绍一阶算术的一些片段。第九和第十章是哥德尔的两个不完全性定理。

书籍规格:

书籍信息归属:

数理逻辑是复旦大学出版社于2019.9出版的中图分类号为 O141 的主题关于 数理逻辑－高等学校－教材 的书籍。