![[M]公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 -9787030640390图片](http://imgservice.suning.cn/uimg1/b2c/image/thqP2ugCWs6vDr61nsqokw.png_800w_800h_4e_80Q_is)
1/1
[M]公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 -9787030640390
本书获得了众多专家的推荐或权威评价，许多业内人士和读者纷纷表示它是一部不可错过的佳作。
暂无评价
问问已购用户
商品好不好？问问买过的人
-
图文详情
-
规格参数
-
包装售后
- 图文详情
- 规格参数
- 包装售后
图文详情里一个字都没有哦~~~
