| 索书号: | TP181/Y849 |
| 书名: | 自然数的紧化延伸机器证明系统 |
| ISBN/价格: | 978-7-03-077545-0:CNY288.00 |
| 第一作者: | 郁文生 著 |
| 第一作者: | 窦国威 著 |
| 出版发行项: | 北京:科学出版社,2024 |
| 载体形态项: | 17,573页:彩图;24cm+ |
| 丛编项: | 数学机械化丛书. |
| 提要文摘: | 本书共6章，内容包括：引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。 |
| 题名主题: | 机器证明 |
|
|