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

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

活跃分类查询: 地下连续墙 水库管理 过航建筑物 调水工程 取水、引水工程 水闸 泥沙动力学、河流动力学 聚醋酸乙烯酯类 第Ⅰ族元素有机化合物 激光器 激光技术、微波激射技术 自动开关 低付连杆机构 晶状体与玻璃体疾病 先天性皮肤萎缩症 中医治疗学 仪器 岩石鉴定、分析 实验矿物学、应用矿物学 矿物的鉴定及分析 矿物成因 应用光学 信息光学 谓词演算（命题函项演算） 科学、科学研究 文化、科学、教育、体育 商品学 劳动科学 霍布斯（Hobbes,T.1588~1679年） 马克思主义哲学