序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境植物学 客舱、货舱 对无线电设备的干扰及防护 外墙、屋顶装修 煤气转化 信息处理（信息加工） 其他计算机 微型计算机 一般计算器和计算机 计算机软件 计算机理论与方法 计算技术、计算机技术 自动化技术、计算机技术 井身质量及固井质量检查 非金属矿选矿 选矿 矿业工程 工业技术 农学（农艺学） 特种栽植机 土的结构 自由大气的湍流 命题演算、谓词演算、类演算 古代史 隋、唐至清前期（581~1840年） 组织机构 商品检验 邮政企业组织与经营管理 农家副业、农产品加工工业 法制与民主