中图分类查询
  • 分类
  • 图书
  • 关于中图法
  • 中图分类
  •  O 数理科学和化学
  •  O1 数学
  •  O14 数理逻辑、数学基础
  •  O141 数理逻辑(符号逻辑)
  •  O141.1 命题演算、谓词演算、类演算
序号分类号分类名称相关图书
1 O141.12 谓词演算(命题函项演算) 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 双基推进剂 集料(骨料) 金属结构安装 产品分析与检验 羧酸的功能衍生物 反侦察、反干扰 晶体管:按形式分 放射化学分析 理论 仪器、仪表与辅助设备 海上油气田地质与勘探 采收率研究 野生动物的驯养 疟原虫 梭状芽胞杆菌属(厌氧杆菌) 年龄变化、生命延长、衰老、死亡与更新 实验植物的培养、管理及观测 植物学实验(实验植物学)与植物学技术 生物化学技术 远距离地区间的相互关系 射电天文观测 晶体缺陷 命题演算、谓词演算、类演算 刚果 文学的普及与提高 印尼语(印尼国语) 橄榄球(列格比球) 中小型企业、乡镇企业 国民收入计划 科学技术管理
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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