中图分类查询
  • 分类
  • 图书
  • 关于中图法
  • 中图分类
  •  O 数理科学和化学
  •  O1 数学
  •  O14 数理逻辑、数学基础
  •  O141 数理逻辑(符号逻辑)
序号分类号分类名称相关图书
1 O141.1 命题演算、谓词演算、类演算 相关图书
2 O141.2 证明论 相关图书
3 O141.3 递归论(递归函数、能行性理论) 相关图书
4 O141.4 模型理论 相关图书
活跃分类查询: 车辆调度与运行管理 控制线路连线方法 交通运输 坦克炮 冷拉模具热处理 冷冲模具热处理 固溶处理、脱溶处理 回火 淬火质量检查 表面淬火 热处理自动化设备 化学热处理设备 制造各种控制气体的设备 涂镀设备 辅助设备 加热装置 热处理炉 一般工业技术 工业技术 心电向量图 南极 南大洋 墨西哥湾 调查与观测资料 调查与观测仪表 调查、观测规范 数理逻辑(符号逻辑) 聚落地理学 地方军事 章炳麟(1869~1936年)
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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