机读格式显示(MARC)

• 000 01039nam 2200289 450

• 001 0000504976

• 005 20251016090600.0

• 010 __ |a 978-7-03-077545-0 |b 精装 |d CNY288.00

• 100 __ |a 20240706d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

• 200 1_ |a 自然数的紧化延伸机器证明系统 |A zi ran shu de jin hua yan shen ji qi zheng ming xi tong |f 郁文生, 窦国威著

• 210 __ |a 北京 |c 科学出版社 |d 2024

• 215 __ |a xvii, 573页 |c 彩图 |d 25cm

• 225 2_ |a 数学机械化丛书 |A shu xue ji xie hua cong shu |v 15

• 320 __ |a 有书目 (第516-524页) 和索引

• 330 __ |a 本书共6章, 内容包括: 引言、Morse-Kelley公理化集合论的形式化系统实现、滤子构造超有理数的形式化系统实现、什么是实数、非主算术超滤的存在性、结论与注记。

• 410 _0 |1 2001 |a 数学机械化丛书 |v 15

• 606 0_ |a 机器证明 |A ji qi zheng ming

• 690 __ |a TP181 |v 5

• 701 _0 |a 郁文生 |A yu wen sheng |4 著

• 701 _0 |a 窦国威 |A dou guo wei |4 著

• 801 _0 |a CN |b 湖北三新 |c 20250721

• 905 __ |a LJUZC |d TP181/531

• 920 __ |a 222016 |z 1