Αποστολή με SMS: Logical Aspects of Computational Linguistics