A Course In Mathematical Logic