是ABeginner'sGuidetoMathematicalLogic的后继书籍，内容更加深入有趣。