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

序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境保护标准 非金属材料 隔声门窗 木材加工厂 木材加工工业、家具制造工业 射流技术（流控技术） 交流牵引变电所 其他 选种与育种 蚕种繁育 饲料育肥 园艺研究方法与工作方法 园艺 设计、计算、制图 时效肥料 颗粒肥料 固氮菌肥料（固氮菌微生物肥料） 根瘤菌肥料 抗生菌肥料 微生物鉴定 碱土金属有机化合物 命题演算、谓词演算、类演算 古代史（~1492年） 音乐作品综合集 教师与学生 中等教育 教育 文化、科学、教育、体育 国家法、宪法 国际工人组织与会议