Text this: Logic for mathematics and computer science