序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 制动操纵装置 冷凝器 远动化控制的性能分析 潜水工程 沥青混凝土 纪念馆 雷达：按用途分 非线性网络 基本电子电路 无线电电子学、电信技术 电气测量技术及仪器 负荷分析 理论与分析 其他磨削工艺 工业设计 工业通用技术与设备 围网 液化饲料 可拉 脑血管疾病 冠状动脉（粥样）硬化性心脏病（冠心病） 正形目 生物科学 钻头、钻具及工具 天文学、地球科学 命题演算、谓词演算、类演算 工艺美术创作方法 中等教育理论 世界各国文化与文化事业 文化、科学、教育、体育