命题演算、谓词演算、类演算 （O141.1）

序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 图书馆藏书联合目录 一般性问题 金属和非金属复合材料 电梯工程 玻璃安装工程 玉米制食品 炉气收集 氦、液氦 晶体管：按工艺分 各种野生动物驯养 晚稻 土壤肥力测定 脑血栓形成 睡眠和催眠 内科 接触传染病预防 沼梭科 原核类微生物形态学 生物大分子的结构和功能 区域海洋学 命题演算、谓词演算、类演算 中世纪史（1443~1912年） 史料 各种画：按用途分 当代作品（1949年~） 现代作品（1919~1949年） 橄榄球（列格比球） 资金管理 国际贸易财务管理 信息产业经济（总论）