数理逻辑导引

全新正版现货

138.6 7.0折 198 全新

仅1件

四川成都

认证卖家担保交易快速发货售后保障

作者冯琦

出版社科学出版社

ISBN9787030545794

出版时间2023-01

装帧平装

开本128开

纸张胶版纸

定价198元

货号25173895

上书时间2023-05-12

已实名已认证进店收藏店铺

商品描述: 【内容】:　　本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。

— 没有更多了 —