Text this: A course in mathematical logic