MARC状态:已编 文献类型:中文图书 浏览次数:18
- 题名/责任者:
- 数理逻辑导引/冯琦编著
- 出版发行项:
- 北京:科学出版社,2017
- ISBN及定价:
- 978-7-03-054579-4/CNY198.00
- 载体形态项:
- 13,510页;24cm
- 丛编项:
- 现代数学基础丛书;172
- 个人责任者:
- 冯琦 (1976~) 编著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 提要文摘附注:
- 本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的完全性和可定义性分析;哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。
全部MARC细节信息>>