序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 气旋 车轮 干线、大街 配汽机构 堤防 水闸 水利枢纽、水工建筑物 水利工程 香粉 酚的功能衍生物 脂环族醇及其衍生物 卤醛、卤酮及其衍生物 三废处理与综合利用 反应堆 水力发电厂、水电站 划线 光谱分析仪器 工业技术 肠胃病 播种量 腹部、腰部 医药、卫生 密码复制酶系及翻译系统酶系 冻土地貌学 钴 命题演算、谓词演算、类演算 大化革新时代（646~710年） 中国戏剧艺术 审计 哲学流派及其研究