Email Record: Logic and language models for computer science /