序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 环境科学、安全科学 剪毛、分等、包装 纺织用水 不溶性偶氮染料（冰染染料） 语音参数编码 电感测量及仪表 网箱养殖 有机毒物 抗凝血药 臀部肿瘤 特种外科手术学 手术基本操作技术 麻醉学 抗菌术、无菌技术（消毒法） 手术室及其设备 外科手术学 外科诊疗器械与用具 急救外科学 外科治疗学 动脉疾病 血液循环衰竭 垂体制剂及其疗法 根口水母目 极限理论 命题演算、谓词演算、类演算 直皖战争 世界各国艺术概况 学校卫生工作 广播、电视事业史 阿那克西曼德（Anaxi-mandros,约公元前610~前546年）