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

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

活跃分类查询: 航向仪表 辅助装置 泄水建筑物和消能建筑物的维修 屠宰及肉类加工工业 纺纱设备 无机肥料 锕系元素（超铀元素）的无机化合物 液体的汽化 加密与解密 天线：按用途分 拉拔车间（厂） 冷处理 理论和计算 炼铁 谷物 病理化学 胃肠道解痉药 皮肤深部真菌病 产道检查 脊柱畸形 波罗的海 逆康普顿辐射 漫散射 凝聚态物理学 谓词演算（命题函项演算） 近代史（1858~1945年） 壮侗语族（侗傣语族） 中国航空运输 无产阶级的革命领导权 人道主义