Practice Exercises for Mathematical Logic