序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 车站给水及排水 交通运输 水工建筑物管理 水利枢纽、水工建筑物 水利工程 厨师 副产品加工及利用 包装及贮运 还原法 结晶法 电熔耐火材料 氢气 电话局 液体肥料、粉末颗粒肥料施肥机具 诊断学 生物的地区分布 磁带地震勘探 地震波的传播 地震波的激发 激发极化法 地质构造、油气藏（田）的形成 命题演算、谓词演算、类演算 现代史 运动员选材 学生 消费经济学 社会病态与社会犯罪 心理学 伦理学（道德哲学） 培根（Bacon,F.1561~1626年）