Text this: A Friendly introduction to mathematical logic