- 题名/责任者:
- 数理逻辑导引/冯琦编著
- 出版发行项:
- 北京:科学出版社,2017.9
- ISBN及定价:
- 978-7-03-054579-4/CNY198.00
- 载体形态项:
- 510页;24cm
- 丛编项:
- 现代数学基础丛书
- 个人责任者:
- 冯琦 编著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 提要文摘附注:
- 本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理；并且以数这一基本常识观念为中轴线，包括自然数、整数、有理数、实数和复数，系统地展开人类对于数的理性和系统认识之学：数理逻辑所提供的关于数的认识或者解释的本质理论，以公理化来阐明相关认识的完全性、或者揭示其不完全性，这将包括一系列关于复数、实数、有理数、整数理论完全性定理，以及关于自然数认识的哥德尔(第一和第二)不完全性定理，和巴黎-哈灵顿不完全性定理。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 |
| O141/36 | S3249959 | - | 总馆—理学书库（龙湖） | 可借 |
显示全部馆藏信息