￥：86.4元
淘口令优惠卷：
点击进入=>公理化集合论机器证明系统 郁文生 孙天宇 付尧顺 著 数学机械化丛书13 科学出版社