中图分类查询
  • 分类
  • 图书
  • 关于中图法
  • 中图分类
  •  O 数理科学和化学
  •  O1 数学
  •  O14 数理逻辑、数学基础
  •  O141 数理逻辑(符号逻辑)
  •  O141.1 命题演算、谓词演算、类演算
  •  O141.12 谓词演算(命题函项演算)

谓词演算(命题函项演算) (O141.12)

序号分类号分类名称相关图书
目录无下级分类记录...
活跃分类查询: 电推进火箭发动机 航空 施工管理 设计、计算 勘测 装配式钢筋混凝土结构 各项工程与工种 小装饰品 民用建筑物 材料结构及物理性质 一般工业技术 生理生化 陆军卫生学 鼻部外科手术 生物素缺乏病 扁蝽科 德雷克海峡 稀有元素与分散元素 谓词演算(命题函项演算) 古典数学 军事、国防建设 政治、法律 证券市场 物资流通费用、资金和利润 其他 经济波动 经济学分支科学 经济学基本问题 经济学 工人运动史
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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