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

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

活跃分类查询: 航天器的发射、控制及返回地球 供观赏陈列用的航空器模型 曲线铺轨 送回风气流规律 外加剂 制鞋机具与设备 一般性问题 雷管 语音增强 加速器生产放射性同位素 靶室及实验设备 仿型磨床 中碳钢 操作技术 一、二年生花卉类 多年生草本果类 热带及亚热带果类 柑桔类 杂果类 坚果类（壳果类） 浆果类 牙垢及色素沉着 恶性高血压 准啮虫亚目 维生素 震情 谓词演算（命题函项演算） 殖民地时期（1492~1774年） 实验室和设备 旅游服务业务