序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 剖料 碾米工业 微生物杀虫剂、细菌杀虫剂、物理杀虫剂 糊精胶粘剂 液体、气体溶剂 一般自动化元件、部件 吸气剂及其他吸气材料 除湿电器 防爆灯、防火灯 电力拖动（电气传动） 堆芯及堆内部件 工艺参数 其他 鲶鱼 木本 五叶草（百脉根） 操纵技术 农业气象站 喉部疾病 极地医学 应用植物学（经济植物学） 静态高压产生 流体振动与波浪 命题演算、谓词演算、类演算 地方史志 缅甸 古波斯语 教学法与教学组织 中国教育事业 雷达兵