MATH 27800 50 (Winter 2018) Mathematical Logic-2