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

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

活跃分类查询: 石油炼制 转子动力学 焊接接头 港口设计 其他运输车用轮胎 土的动力特性试验 化学传感器 目标模拟测试设备 太阳能利用 黑色金属矿开采 木材的构造和识别 品种的提纯和变性 泌尿器肿瘤 前列腺疾病 单球核增多性、李斯特氏菌 医学地理学 流行病学与防疫 生长、发育与生殖 第Ⅵ族元素有机化合物（氧和硫除外） ■盐类 谓词演算（命题函项演算） 第二次世界大战以后（1945年~） 剪纸、刻纸 金融组织、银行 邮政企业组织与经营管理 中国水路运输经济 林产、木材加工工业、家具工业 国民收入、国民财富 经济 保险法