一本数理逻辑方面的好书。希望看后能对群里的兄弟姐妹有帮助