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

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

活跃分类查询: 灭火器与灭火用剂的生产 热致发光器件 各国单位制 中制（市制） 公制（米制） 计量单位与单位制参考工具书 电影洗印 特种材料底基的印相法 相片修整 翻摄与复制 正片过程 负片过程 其他 电影摄影 全息摄影 传真摄影 光电微光摄影 显微摄影 高速摄影 卫星摄影 空中摄影 放射线摄影 机构、团体、会议 抗生素 蠕虫病 中国医学 几何、拓扑 谓词演算（命题函项演算） 曲艺 重氮复制