序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 核工业安全 桥梁安全与事故 信息论与电子计算机的应用 燃气管道及设备 包装机械、材料 镁盐、钙盐、钡盐化合物 无线电导航 天线：按材料分 有机半导体 组合夹具 钻井机械设备 矿业工程 核果类 堆肥、沤肥 骨发育不良症 蛋白质的变性与变构 地面沉降 水文调查 高分子化学（高聚物） 化学 命题演算、谓词演算、类演算 数理科学和化学 工人、农民 教师与学生 现场教学 中国 十八世纪及其以前哲学 其他 近代哲学（1840~1918年） 哲学、宗教