Text this: Logic and language models for computer science /