MATH 27700 50 (Autumn 2017) Mathematical Logic-1