是清华版《数理逻辑与集合论（第二版）》的讲义与习题解答。