Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
谓词演算(命题函项演算)
(O141.12)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
城市绿化林带
品质管理与质量控制
原料处理
鞣质(丹宁)的生产
助熔剂
取样、分析与鉴定
钒的无机化合物
光学集成电路(集成光路)
电力网
分配器
挤压-减径联合
天然更新
丘陵、山地
马鞍菌
菜螟
睑与睫毛位置异常
前巩膜炎
螠纲
化石蛋
胆汁酸和胆汁醇
谷蛋白
地壳运动
有机分析
松弛法
谓词演算(命题函项演算)
独立(共和国及民族邦)(1825~1886年)
阿富汗人统治时期(1709~1919年)
特殊教育
国家垄断资本
管理学的哲学基础