Text this: A Course on Mathematical Logic