序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 风洞部件 电钟及计时装置 活塞环 挖泥船、卸泥船、运泥船 抗震动结构、防灾结构 蜀绣 生长抑制剂 交流电子模拟计算机 晶体管：按性能分 其他 运材 木材透气性质 多年生菜类 腺岛素过多症、低血糖 生物氧化 蒽系酚 命题演算、谓词演算、类演算 通史 其他 投掷 流通、利用 国家公债、债券、外债 铁路运输企业与管理 林业经济史 自行火炮 法医物证检验学 行政诉讼法 特别行政区基本法 地方各级人民代表大会 管理组织学