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

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

活跃分类查询: 混纺织物 发报键盘 油浸式电抗器 飞行坦克 制造用设备 机械、仪表工业 功能材料 一般工业技术 干烧心 叶状体、低等植物器官 心脏 辐射遗传学（放射遗传学） 方法 大地构造物理学、岩组学（构造岩石学） 天文导航 谓词演算（命题函项演算） 高加索语系（伊比利亚-高加索语系） 棋类 世界 金融危机 银行制度 海防 痕迹学 审判 诉讼法 建党理论 家庭、婚姻道德 伦理学（道德哲学） 思维科学 哲学、宗教