相关推荐：

• 数理逻辑-归结法原理
• 谓词逻辑与归结原理1
• 谓词逻辑基础(精)
• 第3.3节 谓词逻辑的归结原理
• 第3.3节 谓词逻辑的归结原理共63页