序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 设闸运河 桥梁制造 锅炉部分 轨枕维修及更换 引水式厂房 其他球类运动器具 日用五金制品 镂空版印刷 基础科学 冷藏、冻藏与速冻加工 纺织副产品加工与利用 硝铵炸药（阿莫尼特） 加工、修饰及装配 化学工业 雷达跟踪系统 各种开关 固体电介质 电焊 扁钢轧制 声学仪器 土壤比重、容重与孔隙 水甲科 植物气候学 固体物理学 函数论 命题演算、谓词演算、类演算 柔道 文化、科学、教育、体育 信息产业经济（总论） 行政诉讼法