命题演算、谓词演算、类演算 （O141.1）

序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 百科全书、类书 压送设备 原型（实体）观测 弹拨乐器 绒线编结 电解工业 铵盐的生产 存贮器 电真空器件制造工艺 磁性粉末冶金材料 铀和其他稳定同位素的分离 维护与修理 焊接、金属切割及金属粘接 一般工业技术 附着藻类 美加甜桦 其他化学制剂疗法 基因的表达 北极 裂隙水 应用水文学 命题演算、谓词演算、类演算 民族史志 葡萄牙统治时期（1482~1975年） 古文字 农业所有制 审计学 条约法 党校 伊朗哲学（波斯哲学）