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

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

活跃分类查询: 喀斯特地区筑路 离子交换软化 高强混凝土、早强混凝土、快硬混凝土 花式针织工艺 毛纺织用仪器、仪表 合成树脂与塑料工业 外加剂 无线用户环路（无线接入网） 阻抗-导纳测量、阻抗测量 轨道稳定性理论及计算方法 钢的性能 真空冶金原理 群蜂的快速繁殖 有机汞杀菌剂 油菜子（芸苔）病虫害 农业昆虫学 传染性肝炎 第Ⅲ族元素有机聚合物 谓词演算（命题函项演算） 民族史志 西亚（西南亚） 北魏（386~534年） 儿童文学 朗诵剧 师生关系 综合性标题表 党员的权利和义务 民族史志、民族地理 阿那克西曼德（Anaxi-mandros,约公元前610~前546年） 马克思主义、列宁主义、毛泽东思想、邓小平理论