序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 微型无人机 航空木材零件加工 振动加工 高能成型加工 电加工 发动机防冰系统 验收检查 箱包用革 理论与设计 铝及其合金的热处理 真空熔炼设备 冶金炉砌筑及维修 从其他原料提取石油 旱田 种子检验与鉴定 火山灰 元素地球化学 数据处理 天文基本常数的测定 氯化砷氮二氢蒽、氧氮芑、氧氮蒽、硫氮杂苯烷、苯硫氮杂苯烷 命题演算、谓词演算、类演算 尼加拉瓜 历史写法 高等师范院校 协定 工业国有化 部门经济统计 水中武器 高原作战、山地作战 世界工人运动与组织