Text this: Introduction to Symbolic Logic /