Text this: Logic for computer science