关注微信公众号查券更方便
数理逻辑与集合论第二2版
官网正版 机器学习入门 数学原理解析及算法实践 董政 推理 谓词逻辑 决策树 神经元 感知机 学习模型参数 线性回归 分类器
现货 计算机科学的逻辑基础 雷克斯佩奇 计算机科学理论 如何将谓词逻辑应用于软件和数字电路的测试和验证 计算机科学教材
相干与衍推谓词逻辑
计算机科学的逻辑基础雷克斯·佩奇 计算机科学丛书 将谓词逻辑应用于软件和数字电路的测试和验证逻辑与计算机设计基础
相干与衍推谓词逻辑 博库网
逻辑学的奇妙世界：批判性思维
相干与衍推谓词逻辑 官方正版 博库网
海外直订Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic 形式逻辑的探索：第二卷：谓词
海外直订Switching Theory: Insight Through Predicate Logic 转换理论：谓词逻辑透视
海外直订Predicate Logic 谓词逻辑
海外直订Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic 亚里士多德的模态证明:谓词逻辑中的先验分
海外直订Switching Theory: Insight Through Predicate Logic 转换理论：通过谓词逻辑的洞察
