相关推荐：

• 数学分析中的归结原理应用
• 归结推理方法
• 数理逻辑归结法原理
• 高级数理逻辑第2讲全解
• 第二章 数理逻辑
• 高级数理逻辑第11讲全解
• 数理逻辑-归结法原理
• 归结原理的应用
• 数学归纳法原理：【第二归纳法】【跳跃归纳法】【反向归纳法】
• 谓词逻辑与归结原理1