中图分类查询
  • 分类
  • 图书
  • 关于中图法
  • 中图分类
  •  O 数理科学和化学
  •  O1 数学
  •  O14 数理逻辑、数学基础
  •  O141 数理逻辑(符号逻辑)
  •  O141.1 命题演算、谓词演算、类演算
序号分类号分类名称相关图书
1 O141.12 谓词演算(命题函项演算) 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 轻钢结构 幼儿园、托儿所 特种加工 取样分析与鉴定 电镀工业 数据收集和处理系统 半导体三极管(晶体管) 各种地下热能 油田动态分析 运筹学的应用 新疆细毛羊(兰哈羊) 其他淋菌性疾病 儿童淋病 女子淋病 男子淋病 胎传梅毒与孕妇梅毒 隐性梅毒 神经梅毒 曲胫叶甲科 毛角蝽科 苋科 激发极化法 天气预报 实验技术及设备 命题演算、谓词演算、类演算 公务员 教材、课本 政策 社会学派 经济学
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

  • 友情链接
  • 中国国家图书馆
  • 北京大学图书馆
  • 清华大学图书馆
  • 北京师范大学图书馆
  • 书影博客
  • Copyleft © 2013 - 2026 中图分类查询