Department of Mathematical Logic : Tutorial