Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
汽车试验场地及测试中心
城市规划布局
城市规划
轧辊及轧辊轴承
金属压力加工
其他
家畜流行病学各论
输卵管内妊娠
囊虫病
团藻目
大地构造物理学、岩组学(构造岩石学)
高空气象探测、高层大气探测
醛的聚合物
氧化乙烯聚合物(聚环氧乙烷)
链上含氧的聚合物
杂链聚合物
酚醛树脂
聚对二甲苯
链上含芳香和氢化芳香环的碳链聚合物
不饱和胺的聚合物
腈的聚合物
硝基烯烃聚合物
不饱和烃硝基衍生物的聚合物
谓词演算(命题函项演算)
早期史(~1899年)
历史、地理
翻译学
初等教育
中国城市交通运输经济
团的工作