Αποστολή με SMS: Semantics and Logic of Computation