Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
序号
分类号
分类名称
相关图书
1
O141.12
谓词演算(命题函项演算)
相关图书
2
O141.13
类演算
相关图书
活跃分类查询:
安全系统学
土壤监测
航空、航天医学
航空
边坡加固
各种工程、工种
水的加热法
服装衬垫、絮棉、毛毯、人造毛皮
化工过程(物理过程及物理化学过程)
图像解释、判读
自动化技术及设备
自动化技术、计算机技术
金属-空气电池
汽缸、滑阀室、填料箱
小方坯连铸
一般性问题
钢丝绳运输
工业技术
兽用药品
驴、骡
地植物学(植物群落学)
米粒组织
微量气体定量分析
微分方程、积分方程
命题演算、谓词演算、类演算
民族史志
中等教育
中国货币
世界货币
国际经济一体化