序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 烟草工业 齿轮 不良地质、水下隧道施工辅助方法 货运技术作业与设备 局部采暖系统 一般性问题 装订技术、装帧技术 一般性问题 家用报警器 植物病害及其防治 其他纤维作物加工机 儿科学 胸膜炎 医药、卫生 蜉金龟科 蠼螋总科 防斜、测斜、定向钻向及仪表 命题演算、谓词演算、类演算 第二次世界大战前及第二次世界大战时期（1919~1944年） 德国法西斯侵占时期（1938~1945年） 奥地利 早期史（~647年） 新体小说 击剑 花样跳水 体育教学法 世界 文化、科学、教育、体育 方针政策及其阐述 模糊逻辑