序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 重立式码头 水下爆破 塑制工艺品 环氧树脂及塑料 制造工艺 计算机理论与方法 球天线 镇流器 基本原理、计算 形变热处理 矿床开采理论 其他 疾病的分期与转归 坑探工程机械化 命题演算、谓词演算、类演算 宋、辽、金、元 独立（1960年~） 艺术 滑旱雪 各国民族形式体育 总务工作 世界各国图书馆事业 公园 金融、银行理论 生产管理、经营管理 跨国公司 专利法 社会科学丛书、文集、连续性出版物 米利都学派 非洲哲学