Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
航空发动机制造
低压燃油压力表
航空发动机(推进系统)
眩光与反光
原料
气溶胶涂料
自动控制、自动控制系统
自动化系统
自动化技术及设备
自动化技术、计算机技术
工业技术
产科学
其他
肺疾病
气管疾病
气管和支气管疾病
呼吸系及胸部疾病
内科学
地质勘探
天文学、地球科学
约束
谓词演算(命题函项演算)
各省、市区史志
各代总志
方志学
地方史志
中国史
历史、地理
教育
社会生活与社会问题