数理逻辑引论与归结原理

数理逻辑引论与归结原理
7030115791
王国俊著
现代数学基础丛书
O141
科学出版社
2003-09
2003
2003
本书讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。