数理逻辑：证明及其限度出版时间：2014年版丛编项： 逻辑与形式而上学教科书系列内容简介　　《数理逻辑：证明及其限度》是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。《数理逻辑：证明及其限度》尤其面向对数学基础感兴趣的的读者。相对于其他数理...

上一篇：时间尺度上动态方程振动理论
下一篇：累积法理论