Title: Mathematical Logic - A Course with Exercises Pt. 1