Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
谓词演算(命题函项演算)
(O141.12)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
其他特种用途的材料
地形通过性
隧道衬砌理论
结构分析与计算
灌浆机械与设备
防空材料
特种印刷:按油墨分
黄色、橙色和红色颜料
无机试剂
模拟-数字转换设备
语音增强
电化学二极管
水力驱动拉拔机
林分蓄积
胰岛素及降血糖药物
胎儿及附属物异常
妇科学
针灸学、针灸疗法
中医临床学
护士
泥蛉科
动力地质学
人工降雨
谓词演算(命题函项演算)
电气、电子工业
制度
司法化学检验
第一国际解散后的共产主义运动(1877~1889年)
公安学
十九世纪后期至二十世纪哲学