序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境数学 载驳船运行方式 发动机试验室、试验台 整车试验室、试验台 管道行人两用桥 横梁 纵梁 锚杆挡墙 加筋土护墙 拱式护墙 增大列车密度 车站及枢纽 有线信道 砷化镓二极管 蓄能器 气体供应管路 焊炬 模座及导卫装置 挤压垫 挤压杆 挤压筒 穿孔棒 喷射冲压间接作用压机 摇动架加压压机 产科手术 猿鸟虱科 填料、加重剂、颜料、吸附剂、漂白材料 卫星气象学 命题演算、谓词演算、类演算 民族史志