Text this: Logic for Computer Scientists