数理逻辑:证明及其限度 第2版
作 者 ：郝兆宽著，杨睿之著，杨跃著
出版发行 : 上海：复旦大学出版社 , 2020.08
ISBN号 ：978-7-309-14568-7
页 数 ： 255
丛书名 : 逻辑与形而上学教科书系列
原书定价 : 49.00
主题词 : 数理逻辑-高等学校-教材
中图法分类号 : O141 ( 数理科学和化学->数学->数理逻辑、数学基础->数理逻辑（符号逻辑） )
内容提要: 本书是《数理逻辑：证明及其限度》的第二版，主要内容为数理逻辑的基本知识。全书共分10章：第一章是预备知识，主要介绍书中所需要的集合论的初步知识。第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理。第七章是递归论的基本知识，也是为后面内容所做的准备。第八章介绍一阶算术的一些片段。第九和第十章是哥德尔的两个不完全性定理。