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

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

活跃分类查询: 航天飞行员 园林艺术 建筑气候学 造纸用助剂 金刚砂（碳化硅） 生产过程 立体声受话器 稳压二极管 电容标准 运行、试验 电影摄影 地方标准 白垩病 柞树 虫害 精神发育不全 胸壁 细胞生物学 磁共振与弛豫理论 谓词演算（命题函项演算） 上古史 1946年6月以前人民争取和平民主的斗争 农民起义 艺术片 学前教育、幼儿教育理论 文化理论 文化、科学、教育、体育 水产品 国家审计 职业