Text this: Logical Aspects of Computational Linguistics