Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
谓词演算(命题函项演算)
(O141.12)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
电推进火箭发动机
航空
施工管理
设计、计算
勘测
装配式钢筋混凝土结构
各项工程与工种
小装饰品
民用建筑物
材料结构及物理性质
一般工业技术
生理生化
陆军卫生学
鼻部外科手术
生物素缺乏病
扁蝽科
德雷克海峡
稀有元素与分散元素
谓词演算(命题函项演算)
古典数学
军事、国防建设
政治、法律
证券市场
物资流通费用、资金和利润
其他
经济波动
经济学分支科学
经济学基本问题
经济学
工人运动史