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

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

活跃分类查询: 火箭的制导与控制 渠道放淤 设计、计算、规范、标准 世界各国食谱、菜谱 响乐器 一般性问题 聚苯乙烯及其共聚物 电荷耦合器件 磁屏蔽 工厂 工件定位误差 铑 振动和噪声的控制及其利用 预防法及消除法 涎腺结石病 实验医学、医学实验 扁股小蜂科 驼蝽科 肋骨 动力机械 多次覆盖 铬副族（ⅥB族金属元素） 力学 谓词演算（命题函项演算） 艺术 长沙泥木工人罢工 童话、寓言 爪哇语、巽他语、马都拉语、巴厘语（巴厘岛） 旅游服务业务 歼击机（战斗机）