书籍详情
![《公理化集合论机器证明系统郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然》[36M]百度网盘|亲测有效|pdf下载](/uploads/2024-01-20/f8c10da0cd5272a1.jpg)
公理化集合论机器证明系统郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然
- 出版社:玄岩图书专营店
- 出版时间:2020-03
- 热度:11886
- 上架时间:2024-06-30 09:38:03
- 价格:0.0
书籍下载
书籍预览
免责声明
本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源，一旦发现资源涉及侵权，将立即删除。希望所有用户一同监督并反馈问题，如有侵权请联系站长或发送邮件到ebook666@outlook.com,本站将立马改正
内容介绍
基本信息
书名:公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
定价：128.00元
作者:郁文生,孙天宇,付尧顺 著
出版社：科学出版社
出版日期：2020-03-01
ISBN：9787030640390
字数：
页码：316
版次：
装帧：平装
开本：32开
商品重量：