《数理逻辑:证明及其限度》是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。 《数理逻辑:证明及其限度》尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻
平台介绍|荣誉资质|联系我们|出版社登陆