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

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

活跃分类查询: 河岸泄水建筑物 沉降观测 变形观测 木材水解理论 含单异原子的六节杂环 结构 熔剂 甲壳类繁殖设备 受精与妊娠 脊髓神经疾病 肿瘤病理生理学 斑疹伤寒 妇女保健与卫生 红蚧科 粉蚧科 管蚧科 受精作用 生态学（生物生态学） 黄海 移动星团 炔属烃 谓词演算（命题函项演算） 现代史（1870年~） 南宋（1127~1279年） 克瓦语支 萨摩亚语 犯罪 律师制度 社会保障学 分析、研究与鉴定