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

序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 气艇（飞艇） 公路运输 柴油机 建筑艺术图集 芳香族化合物的生产 新技术的应用 串级系统 镁热法 铁合金冶炼机械与生产自动化 杀菌消毒剂 榧树 其他 一般性问题 木薯（树薯） 沙眼 斑啮虫科 长角跳虫科 苏铁蕨纲 群体遗传学 坐标变换及其换带 命题演算、谓词演算、类演算 中国 全集 冰上运动 学校建筑和设备的管理 比较教育学 保险理论 官制 图书馆、信息服务机构、咨询机构 列宁著作的学习和研究