Topics in Mathematical Logic