Text this: Logic, Mathematics, and Computer Science