公理化集合论机器证明系统
郁文生,孙天宇,付尧顺
科学出版社
9787030640390
2020年03月
¥128.00
¥51.20
¥48.60
¥41.00
0元包邮! 送5120积分[详细介绍]购满0.1元免运费! 领券
有路自营缺货
¥93.40
库存1本
3520笔交易
长沙市