MATH 109 Topics in Mathematical Logic