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

命题演算、谓词演算、类演算 (O141.1)

序号分类号分类名称相关图书
1 O141.12 谓词演算(命题函项演算) 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 辅机与甲板机械的安装及调试 线路理论 设备与仪器 重型木结构工程 压缩空气(无沉箱的) 包装纸 原料 特种耐火材料 试验、测试技术与方法 一般性问题 脉冲电容器 河蚌育珠 蜂场场地的确定与布局 花旗松 农业生产环境保护 中药实验药理 环境卫生、环境医学 环境生物学 肾上腺皮质激素 矿床学 命题演算、谓词演算、类演算 外国统治时期(1477~1830年) 集体舞曲 电影、电视剧、广播剧歌曲 珐琅 地方剧 儿童文学 特种档案工作 中国国民党革命委员会 无产阶级专政
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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