Αποστολή με SMS: Semantics and logics of computation