• 中图分类
•  O 数理科学和化学
•  O1 数学
•  O14 数理逻辑、数学基础
•  O141 数理逻辑（符号逻辑）
•  O141.1 命题演算、谓词演算、类演算
•  O141.12 谓词演算（命题函项演算）

序号	分类号	分类名称	相关图书
目录无下级分类记录...

活跃分类查询: 场地建筑 专业航空 设计方案 施工 机车司机 静电受话器 光波导 建筑物内电波传播 电气化、电能应用 永磁电机 缠绕技术 工艺性能 伐木-归堆联合机 畜力播种机 其他 谓词演算（命题函项演算） 解放战争时期（1944~1946年） 民族史志 喜剧片 剧目导演计划 手风琴乐曲 短篇小说 流通、利用 少数民族地区贸易 林业 社会主义国家 人民生活统计 马克思主义政治经济学（总论） 公安管理学 选集、文集