公理化集合论机器证明系统(精)/数学机械化丛书

出版时间 2020-03-01T00:00 应用数学 84431

作者： 郁文生//孙天宇//付尧顺|责编:王丽平
出版社： 科学
原售价: 128.00
折扣价: 101.10
折扣购买: 公理化集合论机器证明系统(精)/数学机械化丛书
ISBN： 9787030640390

作者简介