Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
冷藏船
汽车工程
路用列车
水利经济
地下水
其他
皮革、毛皮
非植物纤维
大环内脂族抗菌素
接口装置、插件
集中检测与巡回检测系统
电器
临界事故
钢的组织
熔炼过程
理论与计算
甲壳类繁殖设备
饲养管理
耙
混合施肥
体育疗法(医疗体育)
先天性皮肤病
免疫学技术、设备及实验方法
昆虫分类学
雷达测量
无线电波谱学
谓词演算(命题函项演算)
地方史志
笛子
意大利哲学