数理逻辑讲义，较为通俗。适合入门，很好的入门教材。适合入门，很好的入门教材。