这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识，很有参考价值。