数理逻辑引论与归结原理（英文版）
图书信息
书名：数理逻辑引论与归结原理（英文版）作者：周红军,王国俊
包装：精装
开本：16
页数：335页
出版社：科学出版社
出版时间：2009-1
图书简介
《数理逻辑引论与归结原理》共九章，分别探讨了布尔代数、命题演算和谓词演算、归结原理以及新的多值逻辑理论等内容。第四、五、六章重点讲述了形式系统KL以及其完备性和Skolem标准形式及其相关定理等，而第七、八、九章则介绍了归结原理的精炼化、多值逻辑演算和定量逻辑等新兴领域。本书对于学习和研究数理逻辑的读者来说，是一本不可多得的入门经典之作。
推荐理由
本书详尽而系统地阐述了数理逻辑基础理论，涵盖范围广、深度强，适合数理逻辑爱好者、大学本科生、研究生阅读。
