书籍介绍
《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。
目录
用户评论
前四章是一个偏代数逻辑的数理逻辑导引（利用布尔代数完备性证明一阶逻辑完备性的思路，可以推广到多值逻辑）；五到七章是比较标准的Skolem范式—Herbrand理论—Robinson归结，提供了一个把一阶逻辑转换为命题逻辑，并构造出一阶逻辑有效公式的半可判定算法；末章多值逻辑可参考作者的另一本《非经典数理逻辑与近似推理》
代数部分有点多余了，但很严谨
Z-Library