序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 安全管理（劳动保护管理） 安全科学 环境科学、安全科学 汽车动力学及汽车力学 牵引发电机 折板和平板结构 绢纺工艺 结构 能源与动力工程 弹药 弹药、引信、火工品 武器工业 焊管机 大气腐蚀、气体腐蚀 工业技术 驱虫药剂 海棠类 情感性精神病 气压伤 皮肤症状 突颜蝇科 鸟纲 风的结构 命题演算、谓词演算、类演算 伊斯兰教王国时期（1478~1602年） 报告文学 棋类 数据库建设 信息与知识传播 水产品