本书是人民邮电出版社最新引进的“图灵原版计算机科学系列”的一本，是数理逻辑方面的经典教材。作者的书以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本书应该是最好的数理逻辑入门教材之一。原名：A Mathematical Introduction to Logic。阅读器下载：http://tycx.gbaopan.com。OCR版本，支持关键词搜索。