Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
序号
分类号
分类名称
相关图书
1
O141.12
谓词演算(命题函项演算)
相关图书
2
O141.13
类演算
相关图书
活跃分类查询:
设闸运河
桥梁制造
锅炉部分
轨枕维修及更换
引水式厂房
其他球类运动器具
日用五金制品
镂空版印刷
基础科学
冷藏、冻藏与速冻加工
纺织副产品加工与利用
硝铵炸药(阿莫尼特)
加工、修饰及装配
化学工业
雷达跟踪系统
各种开关
固体电介质
电焊
扁钢轧制
声学仪器
土壤比重、容重与孔隙
水甲科
植物气候学
固体物理学
函数论
命题演算、谓词演算、类演算
柔道
文化、科学、教育、体育
信息产业经济(总论)
行政诉讼法