数理逻辑第2版 pdf是一本由汪芳庭所著的数学图书，涵盖了集论初等概念、谓词演算、形式算术与递归函数等内容，全书编排合理，知识结构完整，欢迎大家免费下载！
数理逻辑电子版介绍《数理逻辑（第2版）》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《数理逻辑》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。
数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。
数理逻辑目录0 预备知识
0.1 集论初等概念
0.2 Peano自然数公理
0.3 可数集
1 命题演算
1.1 命题联结词与真值表
1.2 命题演算的建立
1.2.1 命题演算公式集
1.2.2 命题演算L
1.2.3 演绎定理
1.2.4 反证律与归谬律
1.2.5 析取，合取与等值
1.3 命题演算的语义
1.3.1 真值函数
1.3.2 赋值与语义推论
1.4 命题演算L的可靠性与完全性
1.5 命题演算的其他课题
1.5.1 等值公式与对偶律
1.5.2 析取范式与合取范式
1.5.3 运算的完全组
1.5.4 应用举例
2 谓词演算
2.1 谓词演算的建立
2.1.1 项与原子公式
2.1.2 谓词演算公式集
2.1.3 谓词演算K