半线性子结构逻辑的标准完备性(英文版) 出版时间 2020-01-01T00:00 数学理论 60229 作者: 王三民 出版社: 科学 原售价: 138.00 折扣价: 109.02 折扣购买: 半线性子结构逻辑的标准完备性(英文版) ISBN: 9787030668769 作者简介 内容简介 上一篇:矩阵论(2021年数学基金)下一篇:数理逻辑和算法理论——计算机科学与人工智能的数学基础