序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 轻钢结构 幼儿园、托儿所 特种加工 取样分析与鉴定 电镀工业 数据收集和处理系统 半导体三极管（晶体管） 各种地下热能 油田动态分析 运筹学的应用 新疆细毛羊（兰哈羊） 其他淋菌性疾病 儿童淋病 女子淋病 男子淋病 胎传梅毒与孕妇梅毒 隐性梅毒 神经梅毒 曲胫叶甲科 毛角蝽科 苋科 激发极化法 天气预报 实验技术及设备 命题演算、谓词演算、类演算 公务员 教材、课本 政策 社会学派 经济学