Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
其他
零件的制造
陀螺仪表
综合港
线路施工
世界各国水力发电工程
建筑艺术图集
各种加工纸
烟草物理学
电视接收机的维修
真空集成电路
二极管
能源与动力工业经济
电磁选矿
空调与照明
生物防治
核状结构
视网膜及视神经疾病
产褥期感染
四肢
实验技术
化学成分
有机定量分析
氮杂萘衍生物
P-N结
谓词演算(命题函项演算)
中非联邦时期(1953~1963年)
辛亥革命(1901~1911年)
电报业
作战指挥
广告