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

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

活跃分类查询: 螺旋轴 预过滤器 建筑科学 兔肉 产品标准与检验 袜机 油脂和蜡的化学加工工业、肥皂工业 产品类型、性质 中间产品（中间体）、半制品 核燃料生产用辅助物料及其分析 油矿地质 畜牧业概况 干线 森林生态学 各科药物 儿童神经病 综合疗法 血浆 土拉轮杆菌 脱位 卤代硝基化合物 物理学研究方法 微分几何 谓词演算（命题函项演算） 改革时期（1848~1861年） 科研、生产联合企业 库存、储备及调运管理 发展经济学 司法人员 邓析（公元前？~前501年）