Text this: Introduction to symbolic logic /