序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 动力工业废物处理与综合利用 航空工业制造工厂 涡轮风扇发动机 飞行试验理论 邮政车 机械传动 除碴、装运 发送器（变换器）、传感器 频率分割制微波中继通信 调频指数和频偏测量及仪器 杆塔的机械计算及设计 电力系统稳定 起重机械 蚕茧 放淤 抗病毒药物 催眠疗法 蚁捻翅科 枝角目 钻探技术安全及事故处理 力学和热力学 命题演算、谓词演算、类演算 比例、百分法、利率 私人博物馆 图书馆管理 餐饮业 财务管理、经济核算 国际民法 劳动法 联合国