数理逻辑引论与归结原理

本书在第一版的基础上进行修订再版,全书共9章,内容可分为Boole代数理论,命题演算与谓词演算理论,归结原...

2008.