Mathematical Logic : Exercises and Solutions