序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 航线配船、客货班轮 果蔬加工品标准与检验 坚果加工食品 金属微量元素肥料 药学 射精管疾病 输精管疾病 睾丸及附睾疾病 阴囊疾病 肺 中医内科 重力梯度测量 空中重力测量 海洋重力测量 陆地重力测量 命题演算、谓词演算、类演算 中国人物传记 中亚细亚地区 当代作品（1949年~） 教育史 土地管理、规划及利用 地方经济 经济建设和发展 中国经济 世界各国经济概况、经济史、经济地理 经济 政治、法律 学术会议、专业会议 社会科学机构、团体、会议 社会科学总论