序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境保护标准 其他特殊结构 砌墙护岸、护坡 喷混凝土 修建方式 城市集中供热 风味小吃食谱 造纸厂 其他 纸张用染料 催化过程 双曲线齿轮 手动冲压机 溶剂萃取 油气加工厂 虫害及其防治 暖温带 金龟子 干旱地区 土壤的化学分析 萎缩性胃炎 儿童、少年营养 细腰蚊科 射电辐射 醛和酮的功能衍生物 运动学 命题演算、谓词演算、类演算 语言与其他学科的关系 刑罚的运用 自由逻辑