A Course in Mathematical Logic