机器证明:公理集论及分析基础的形式化9787030832443郁文生科学出版社
郁文生等
科学出版社
9787030832443
1900年01月
¥198.00
¥79.20
¥75.20
0元包邮! 送7920积分[详细介绍]购满0.1元免运费! 领券
有路自营缺货