Text this: Elements of symbolic logic.