![《公理化集合论机器证明系统郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然》[76M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/f8c10da0cd5272a1.jpg "公理化集合论机器证明系统郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然")
公理化集合论机器证明系统郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然 pdf下载
8.99￥
10.99￥
内容简介
本篇主要提供公理化集合论机器证明系统郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然电子书的pdf版本下载，本电子书下载方式为百度网盘方式，点击以上按钮下单完成后即会通过邮件和网页的方式发货，有问题请联系邮箱ebook666@outlook.com
基本信息
书名:公理化集合论机器证明系统 郁文生孙天宇付尧顺著数学机械化丛书现代数学基础数学理论拓扑学代数学理论自然科学出版社
定价：128.00元
作者:郁文生,孙天宇,付尧顺 著
出版社：科学出版社
出版日期：2020-03-01
ISBN：9787030640390
字数：
页码：316
版次：
装帧：平装
开本：32开
商品重量：
![《非线性严格反馈系统的智能自适应反步递推控制佟绍成,李永明,刘艳军著【》[86M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/92c55e19ea7112a6.jpg)
![《开放式控制系统编程技术基于IEC-3国际标准》[79M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/8cbc830bf178e0db.jpg)
![《厨房贴纸防水防油自粘墙贴灶台台面瓷砖橱柜子桌面翻新大理石贴膜爵士白5米长大》[54M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/85f48e99bed5319b.jpg)
![《计算机基础及其应用单元过关测验与综合模拟》[74M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/s1/2e253417b241bb67.jpg)