Text this: A tour through mathematical logic