Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
在各工业部门的应用
三废处理与综合利用
无机化工厂
无机化学工业产品与副产品
生产工艺与生产过程
机械与设备
原料
无机化学反应过程
无机化工过程
基础理论
生产安全技术
工业用水、水的处理
其他计算机
专用应用软件
计算机软件
一般性问题
电力系统稳定
焊接技术
气温和地温
电磁流体中的振荡与波、激波
谓词演算(命题函项演算)
各国民族器乐
财政、金融
军制学
证据制度
各国法律
地方法制
中国法律
法律
政治、法律