数理逻辑引论与归结原理 《数理逻辑引论与归结原理》,作者:王国俊著 出版社:科学出版社 ISBN:7030115791。本书讲述了与逻辑演算有密切关系的Boole代数理论；命题演算与一阶谓词演算理论；归结原理理论以及多值逻辑演算理论等内容。 壹号书单 2003年09月01日 0 点赞 0 评论 28 浏览
