Challenge Exercises for Mathematical Logic