Text this: Logic in computer science