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

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

活跃分类查询: 施工方法、施工新技术 城市噪音控制 品质管理与质量控制 其他 生产过程 计算机网络 机电定时引信 铣镗床 自动、半自动单轴车床 材料腐蚀与保护 一般工业技术 长毛对虾 装卸机具 上肢 医学康复（康复疗法） 流产布鲁氏杆菌 医药、卫生 寄生植物学 谓词演算（命题函项演算） 系统学、现代系统理论 马其顿 上古史 教学法、教学工作 金融市场 农业资金、农业投资 各科经济学 军用无线电通信 党对青年、学生运动的领导 领导体制 哲学理论