孙天宇 科学出版 公理化集合论机器证明系统 郁文生 付尧顺 著 社 数学机械化丛书13
商品详情
公理化集合论机器证明系统 社 孙天宇 科学出版 郁文生 付尧顺 数学机械化丛书13 著由“品牌吧”根据销量、好评率、价格和信誉进行精挑细选,该商品选自北京地区的天猫商城“阳沐园图书音像专营店”,所属主分类“书籍/杂志/报纸”,子分类“数学 ”,领优惠券后价格为101.12更优惠。
  • 相关推荐