序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 隧道建筑限界 混合料制备 清净设备 其他复杂的无机化合物的生产 枪械 金属材料试验机与仪器 机械设计 铸件质量检查 矿山固定机械设备 多年生 大麻（白麻、线麻） 光在农业上的应用 肠道用磺胺 护士 其他周期变化 化学热力学、热化学、热力学平衡 含氮衍生物 命题演算、谓词演算、类演算 近、现代史（1789年~） 世界各国艺术概况 通讯、特写、专题报道 现代文学（1919~1949年） 文学评论和研究 节目制作 工业经济 技术经济学 社会保障法令 党的建设 劳动科学 语录