序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 进气增压装置 道路建筑材料 地基基础设计 隔（吸）声材料 化学工厂建筑 建筑艺术 建筑科学 基础科学 烟草工业 轻工业、手工业 其他无机肥料 移动通信 重离子加速器 风能的利用 测试技术与设备 磨具、研具 声学仪器 工业技术 渔具与捕鱼设备 夜蛾总科 生态遗传学 影像地图编制 光化学分析法（光谱分析法） 命题演算、谓词演算、类演算 石窟寺 中国民族器乐 各国绘画作品 健美运动（健力美） 中国保险业 国际金融关系