Text this: Elements of modern logic