Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
专科百科全书
连接件
航道测量
港口工程材料
硫磺
结构
减压起动器
太阳能加热装置
测试技术与设备
珩床
井下作业、修井
木材的物理力学性质
观赏园艺(花卉和观赏树木)
园艺
农业科学
儿童龋齿
甲状腺疾病
南大西洋(几内亚湾)
原子的结构
声的合成与分析
误差理论
谓词演算(命题函项演算)
圣马力诺
电影、电视、广播戏剧集
世界各国特殊教育概况
计算机编目
技术管理、定额管理
城镇规划与建设
刑法
地方对外关系