序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 航天器强度计算 一般混凝土及加筋混凝土工程 组合结构 农村住宅 天线：按用途分 天线 无线电设备、电信设备 无线电电子学、电信技术 灵敏继电器 反应堆设计、建造、安装、实验与测量 设计、计算 膨胀机 其他 嫁接 免疫诊断 一般理论与方法 伟晶岩矿床 命题演算、谓词演算、类演算 地方史志 语言、文字 中国陆路、公路运输经济 机车、车辆 土地开发与利用 住宅建设 产业经济学 增长经济学 生产力经济学 经济学分支科学 古代各时期军事史（1840年以前） 其他经济法令