Text this: A mathematical introduction to logic.