译者序 数理逻辑作为基础数学的一个重要分支， 在计算机科学中起着奠基作用， 在模糊数学和 人工智能等方面也都有着广泛的应用， 有关它的教材和参考书有许多. 我们选择Herbert B. Enderton 教授编写的这本数理逻辑教材是因为该书以可读性强而著称， 在美国大学中采用 率很高， 是数理逻辑方面的经典教材之一. 同时， 在第2 版的修订中， 作者增加了模型论和 递归论的一些基础知识， 其中有限模型、解析算法、有限计算和可判定性等内容都与计算机 科学密切相关， 这些内容是目前多数数理逻辑教材所没有的. 而这些知识， 无论对于计算机 专业还是基础数学专业的学生来说都是很重要的. 通过对这些内