序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 粒状污染物 制革化学 食品分析与检验 食品标准与检验 电化学工厂 遥感技术的应用 固体激光器 无线电电子学、电信技术 按汽缸中心线位置分 燃烧与调整 工业技术理论 土壤图 中国土壤地理、土壤调查 世界土壤地理、土壤调查 土壤调查方法 周围神经 人体组织学 蚊科 大气化学 磁性理论 命题演算、谓词演算、类演算 古代史 反美爱国运动注： 照明（灯光、自然光） 诗剧 语言规划 语言学 体育与其他学科的关系 决定论与非决定论 选读