ISBN/价格: | 978-7-03-054579-4:CNY198.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 数理逻辑导引/.冯琦编著 |
出版发行项: | 北京:,科学出版社:,2017 |
载体形态项: | xiii, 510页:;+24cm |
丛编项: | 现代数学基础丛书 |
提要文摘: | 本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的完全性和可定义性分析;哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。 |
题名主题: | 数理逻辑 |
索书号: | O141/F57 |
中图分类: | O141 |
个人名称等同: | 冯琦 编著 |
记录来源: | CN 浙江省新华书店集团公司 20171018 |