A Course on Mathematical Logic