序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 特种灯具 食品工业 气化设备 信息处理（信息加工） 计算机的应用 应用 机器人技术 自动化技术及设备 系统的工业试验、参数的现场试验 燃料及润滑料 一般性问题 计量仪器 邮件传送、装卸设备 油建工程机械设备的腐蚀与防护 矿井支护与设备 矿山压力与支护 油脂及其综合利用 播种、栽植 旱田土 低温植物生物学 水中声波的散射和混响 误差理论 命题演算、谓词演算、类演算 民族史志 塞浦路斯 近代史（1876~1945年） 经济 保险法 金融法 管理学