序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 鸟类 单元推进剂 航天站与空间探测器 航天器及其运载工具 航空、航天技术的研究与探索 施工领导与工作方法 隔声测量 稀有元素及其盐类的制取 透明玻璃钢 计算机软件 计算技术、计算机技术 自动化技术经济 分组交换数据网（PSPDN） 连续振荡磁控管 包装工程 鼻科学、鼻疾病 风疹 极地观测的数据处理 辉光放电 命题演算、谓词演算、类演算 第二次世界大战后（1945年~） 维吾尔语 应用语言学 语言学 其他 仰泳 世界各国职业技术教育概况 样本 青少年法 普利斯特莱（Priestley,J.1733~1804年）