Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
非金属材料
仪表板
台车式启闭机
掘进机法
其他
贮气设备、贮气罐
设计、制图
计算图表
兽类饲养建筑
节日装饰
机织(织造工艺)
可塑性原料
干扰(噪声)、抗干扰
对数收音机、多卜勒收音机
波导定向耦合器
雪崩型可控硅
可关断可控硅
拦截导弹(反导弹导弹)
翻车机
耐热钢
电阻式真空计
竹笋
冠状动脉栓塞与血栓形成
性卫生
农村给水卫生
盘甲科
电解分析法
谓词演算(命题函项演算)
财务管理
欧洲哲学