命题演算、谓词演算、类演算 （O141.1）

序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 粉末冶金材料 结构 设计 运营技术 空气调节、采暖、通风及其设备 加工工艺及设备 生产安全技术 自动化装置与设备 网络 齿轮测量及其量仪 精密合金轧制 钽、铌 纵隔炎 其他病毒 植物与非生物环境 潜水医学 海岸带资源及其开发 主动式遥感 计算机应用 误差的测定 命题演算、谓词演算、类演算 近代史 电影、电视的评论、欣赏 中国艺术 教育改革与发展 农业目录学 发行工作 邮电计划和管理体制 市场机制与市场调节 阐述、研究