作者	（美）布勒斯等/何自强等
出版社
出版时间	2005-07-01

特色：
本书特点：　　·精辟地阐述了逻辑方面的基本时论结果，包括可计算性、不可判定性、公理化、可定义性、不定全性等。·简约地写作风格。虽然许多解释是形式化的，但十分清楚；现代的优雅证明可帮助读者理解经典的定理，且行文简洁。·对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域从事研究的读者以及进行授课的教师，本书也是大有裨益的。

本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一个本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。