Αποστολή με SMS: New Directions in Logic, Language and Computation