Text this: An introduction to modern logic ;