Text this: Logic: The Theory of Formal Inference