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

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

活跃分类查询: 武器工业安全 空气喷气发动机润滑系统 室内小气候 测量方法 中国民族传统乳制品 烧鸡、扒鸡 其他食品制造 硫酸厂 紫外技术及仪器 驱动用微电机（分马力电机） 鱼体加工 金鸡纳树 喷粉机（洒粉器） 栽培防病 牙髓病及根尖周围病 汞中毒 拟步甲总科 原兽亚纲 茨藻科 超导体物理 随机振动 谓词演算（命题函项演算） 政治区划 民族史志 现代史 语言的分布 教育行政 世界 恋爱道德 唯心主义