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

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

活跃分类查询: 进气道 定修 建筑光照技术测量 其他 植物胶粘剂 碳酸钾的生产 钢轨孔型设计 炼铬 骨折与脱位 榨菜（茎用芥菜） 茶 抗梅毒等螺旋体病药物 卫生学参考工具书 呼吸运动 崩漏 营养学 淋巴液 细胞学史 其他辐射化学反应 热效应 芳香族化合物 胺类的其他（更复杂）衍生物 氧化物、过氧化物 俘获截面 多项式理论 谓词演算（命题函项演算） 解放战争时期（1944~1946年） 全文情报检索系统 互助合作与交流 意识与潜意识