Text this: A Logical Approach to Discrete Math /