中图分类查询
  • 分类
  • 图书
  • 关于中图法
  • 中图分类
  •  O 数理科学和化学
  •  O1 数学
  •  O14 数理逻辑、数学基础
  •  O141 数理逻辑(符号逻辑)
  •  O141.1 命题演算、谓词演算、类演算
  •  O141.12 谓词演算(命题函项演算)
序号分类号分类名称相关图书
目录无下级分类记录...
活跃分类查询: 零件制造 发动机附件系统 防火安全 汽车工程 牵引性能试验 园林建筑史 绒线编结 机器人技术 自动化技术及设备 高温还原法 一般性问题 池塘养殖 森林作业法 苗木包装、运输及贮藏 作物生物物理学 农业机械化区划与规划 牵引式联合收获机 脾的机能 医院、综合医院 吸收线理论、连续吸收理论 现代天体测量学 谓词演算(命题函项演算) 通史 地方史志 寓言 教育 文化事业史 渔业、水产业 法医鉴定学 四书
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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