本书主要是数理逻辑方面的习题,可以用作学习数理逻辑的学习参考书