![面向计算机科学的数理逻辑：系统建模与推理（原书第2版） [德]迈克尔·休斯 [英]马克·莱恩](https://img7.youlu.net/bookpic/l/808/5046808d48d8c.jpg-n)
名 称：
面向计算机科学的数理逻辑：系统建模与推理（原书第2版） [德]迈克尔·休斯 [英]马克·莱恩
作 者：
出 版 社：
I S B N：
9787111770688
出版日期：
2025年03月
定价：
￥99.00
售价：
￥39.60
优惠活动：
0元包邮！
送3960积分[详细介绍]
购满0.1元免运费！
领券
领取新人5元无门槛优惠券领取新人5元优惠券
邀请好友得无门槛5元优惠券
分享图书领10%佣金，无上限
数 量：
有路自营缺货
