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

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

序号分类号分类名称相关图书
目录无下级分类记录...
活跃分类查询: 平尾 其他溢流坝 天然地基 高岭土、瓷土、粘土 聚酰胺610(尼龙-610)纤维 瘠性原料 传输线、长线 限垒二极管 数码管 金相学(金属的组织与性能) 鹅观草 杀虫剂 松鼠科 向日葵病虫害 药学 蛋白质休克疗法 种型 体液化学 剥蚀作用、搬运作用、沉积作用 芳香族磺酸及其衍生物 谓词演算(命题函项演算) 意阿战争(1935~1936年) 戏剧演员 六弦琴(吉他)乐曲 教师与学生 核法 马克思主义哲学 哲学理论 哲学、宗教 马克思主义、列宁主义、毛泽东思想、邓小平理论
中国图书馆分类法(CLC)
  • 中国图书馆图书分类法
    Chinese Library Classification
    简称《中图法》,是建国后编制出版的一部具有代表性的大型综合性分类法,是当今国内图书馆使用最广泛的分类法体系。

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