中图分类查询
  • 分类
  • 图书
  • 关于中图法
  • 中图分类
  •  O 数理科学和化学
  •  O1 数学
  •  O14 数理逻辑、数学基础
  •  O141 数理逻辑(符号逻辑)
  •  O141.1 命题演算、谓词演算、类演算
  •  O141.12 谓词演算(命题函项演算)
序号分类号分类名称相关图书
目录无下级分类记录...
活跃分类查询: 编组站信息传输、信息交换系统 各种配件 电子计算机辅助设计 机械与设备制造 化工通用机械与设备 语音合成 轴类及曲轴车床 油气开采机械化、自动化 落叶松 采伐迹地清理 病害及其防治 生物学鉴定 康复 受体病 苔藓动物门 肉孢子目 水库水文实验 系统晶体化学 受激态 热弹性波 塑性流动问题 谓词演算(命题函项演算) 秦、汉(公元前221~公元220年) 音乐物理学、音乐生理学 朝鲜语 皮革 其他 人口统计学 人口学史 与其他学科的关系
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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