序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境污染及其防治 环境科学、安全科学 各种应用 堤防防汛与抢险 计算机网络 安全保密 无线电、电信测量技术及仪器 集成光学器件 电力系统的调度、管理、通信 特种化学性质合金 物理诊断法 马铃薯（土豆） 临床药理学 实验药理学 裂头绦虫病 中药化学 植物学 测绘学 芳胺及其衍生物 命题演算、谓词演算、类演算 考古方法 民族史志 中国史 科学学 地质、矿业 经济建设和发展 行政法 国家机关工作与人事管理 党课 党史