序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 航向仪表 桅杆设备 起锚机 耐高温（耐火）材料 水利工程 时间无线电导航系统 其他军用车辆 坦克、装甲车 一般性问题 连续拉制 包装技术检测 其他水产资源调查 综合科学调查 水产资源调查与评估 种子处理 花生 阴茎损伤 应用气象学 气候变化、历史气候 命题演算、谓词演算、类演算 工艺美术 泰米尔语 初等教育 教育 法院 不结盟国家会议 社会调查分析 政治、法律 教义、神学 哈利斯（Harris,W.T.1835~1909年）