序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 传送装卸计量技术与设备 设计规范与标准 平堵法截流 区域规划 规划理论与方法 藤家具 金的无机化合物 放射性废物的处置 其他特种武器与防护武器 砂矿床开采法 缨翅目害虫 水土保持林 子芥菜 系统型红斑狼疮 红斑狼疮 自身免疫性疾病、结缔组织疾病 免疫性疾病 全身性疾病 肾上腺出血 内科学 维生素 碳酸盐岩 大地构造分区 食、掩、凌的预报和计算 增长波与不稳定性 杂质和缺陷 命题演算、谓词演算、类演算 数理科学和化学 劳动经济 皮萨列夫（Писарев,Д.И.1840~1868年）