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

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

活跃分类查询: 气密强度试验 液化气体汽车、蒸汽汽车 其他组合结构 吊灯 复合加工纸 混合、调料 自动平衡电桥 余热发电 电子定时引信 简易碰炸引信 工厂 设计、计算、制图 蓄气瓶 中心孔钻床 森林地理学、森林分布 其他禾谷类作物病虫害 症状诊断学 血液总量 医药卫生的群众运动 鴷形目 地震波的激发 在分析化学中的应用 相对论 蠕流 谓词演算（命题函项演算） 英国侵占时期（1878~1960年） 其他 教育制度 资源经济学 1949年10月~1966年5月