《数理逻辑教程 英文》PDF下载

图书介绍：这是一部学习数学逻辑和基础的研究生或者高年级本科生教程，不需要任何有关逻辑的预备知识，是学习数学逻辑的最综合全面的教材，包括了许多练习及解答提示，构成了本书的必不可少的一部分，非常适于自学。每一章分成许多小节，一些特别的小节和问题用星号强调，这并不是要表示这些部分难度加大，而是这些地方很容易被疏漏，所以阅读的时候需要格外留意。目次：预备知识；数学逻辑基础；一阶逻辑；一阶逻辑（连续的）；布尔代数；模理论；递归理论（连续的）；直觉一阶逻辑；公理集合论；非标准分析；一般索引；符号索引。