Text this: Logic for Mathematicians