Text this: Mathematical Logic: A first course