中图分类查询
  • 分类
  • 图书
  • 关于中图法
  • 中图分类
  •  O 数理科学和化学
  •  O1 数学
  •  O14 数理逻辑、数学基础
  •  O141 数理逻辑(符号逻辑)
  •  O141.1 命题演算、谓词演算、类演算
序号分类号分类名称相关图书
1 O141.12 谓词演算(命题函项演算) 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境植物学 客舱、货舱 对无线电设备的干扰及防护 外墙、屋顶装修 煤气转化 信息处理(信息加工) 其他计算机 微型计算机 一般计算器和计算机 计算机软件 计算机理论与方法 计算技术、计算机技术 自动化技术、计算机技术 井身质量及固井质量检查 非金属矿选矿 选矿 矿业工程 工业技术 农学(农艺学) 特种栽植机 土的结构 自由大气的湍流 命题演算、谓词演算、类演算 古代史 隋、唐至清前期(581~1840年) 组织机构 商品检验 邮政企业组织与经营管理 农家副业、农产品加工工业 法制与民主
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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