数理逻辑和算法理论——计算机科学与人工智能的数学基础 出版时间 2023-04-01T00:00 数学理论 50484 作者: 编者:袁相碗|责编:刘丽丽 出版社: 中国铁道 原售价: 40.00 折扣价: 32.40 折扣购买: 数理逻辑和算法理论——计算机科学与人工智能的数学基础 ISBN: 9787113298722 作者简介 内容简介 上一篇:半线性子结构逻辑的标准完备性(英文版)下一篇:数学导学教程(第三册)活页式