Text this: Logic for computer science and artificial intelligence /