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

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

活跃分类查询: 工业通风 桥梁锈蚀、防锈 地铁过轨运输 泄水建筑物 土的渗透性试验 土的物理性质试验 土的化学性质试验 其他 纺纱理论与纺纱工艺 制药厂 环氧树脂及塑料 程序语言、算法语言 监视器 野战通信电缆 理论 提高耐用度方法 去势（阉割）术 其他病害 梯田、坝地 土壤微生物遗传 脑神经疾病 生物化学研究法 加热 谓词演算（命题函项演算） 散文 小说 课程 各国 军用海图 反对种族歧视的斗争