Text this: A Mathematical introduction to logic /