序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境地学 螺旋桨变距机构 潜水船 轮边减速器 综合运输 交通运输 其他市政工程及公用设备 石材加工、石工 造价管理 防水、防潮材料，嵌缝、密封材料 接收设备 研齿及研齿机 圆钢孔型设计 器官培养 遗传学分支学科 矿石工艺及矿相学研究 代数几何 命题演算、谓词演算、类演算 杂史、史钞 纪事本末 编年 纪传 纪传体史书合刻 汉语发展史与汉语语言学史 金融、银行 工业部门经济 中国工业经济 工业经济 民事其他法权 斯宾诺莎（Spinoza,B.1632~1677年）