序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 摩托车、机器脚踏车 地面通过性 边坡加固 耐高温材料（耐火材料）、防火材料 压缩空气站 生产技术管理 无磷洗涤剂 肥皂工业 油脂和蜡的化学加工工业、肥皂工业 组合扬声器 制造工艺、安装 耐磨合金 叶状体、低等植物器官 农业气象学 土壤学 农业化学 光在农业上的应用 牛皮癣（银屑病） 免疫学技术、设备及实验方法 雄性激素 区域地球化学、景观地球化学 物理学 命题演算、谓词演算、类演算 数理科学和化学 通史 语言、文字 对外贸易管制 电子工业 组织管理 概率逻辑