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

序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 氧化剂 针织用仪器、仪表 玻璃性质 品质因数的测量及仪表 介电系数测量 其他 电雷管 人工免疫 肉类初加工机械 饲料化学成分 潜艇医学 放射医学 沼花甲科 背甲目 兜水母目 植物分类学（系统植物学） 酶 抗酶 气压 命题演算、谓词演算、类演算 铜石并用时代 英、法、西的入侵（1861~1867年） 第二次国共合作 木刻、木雕 图瓦语 词源学（字源学） 数理语言学 水路运输经济 个体所有制 劳动组织和管理