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

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

活跃分类查询: 安全监督及监督装置 直达运输 消防设备 其他 游艺性玩具 海盐生产技术 乳剂加工 钒副族（ⅤＢ族）元素的无机化合物 中波天线 保护继电器 自动平衡式指示仪 钢 冷轧 还原 规划与设计 产品模型制作 其他 传染病尸体的处理 菌类（食用菌） 口腔内科学 眼压计测量法 症状诊断学 有机化合物 碳族 过酸和过氧化酰基 谓词演算（命题函项演算） 老年教育 高等教育理论 航空母舰 海军