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

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

活跃分类查询: 酸雨 水路运输技术管理 体育保护器具 印刷故障及预防 陶瓷工业 速饱和式电流互感器 锻造、锻压与锻工 滩涂耕耘机 林业基础科学 物理诊断学（体检诊断） 食物营养与食物化学 中国自然地理 区域自然地理学 海下工程 辐射和温度测定仪器 星际物质 吸收光谱 声的反射与折射 谓词演算（命题函项演算） 系统的可靠性和可行性 节日、节令 绘画艺术的哲学基础 塔纳语 文字学 计算机 中国政治 国家机构 政治、法律 社会科学总论 申不害（公元前385~前337年）