利用Python学习数理逻辑 [美]延奈·A.冈察洛夫斯基 [以]诺阿姆·尼桑 数理逻辑 Python编程 命题逻辑 谓词逻辑 哥德尔定理 形式证明 离散数学
[美]延奈·A.冈察洛夫斯基 [以]诺阿姆·尼桑
机械工业出版社
9787111789666
2025年10月
¥89.00
¥35.60
¥33.80
0元包邮! 送3560积分[详细介绍]购满0.1元免运费! 领券
有路自营缺货