Αποστολή με SMS: Logics in Computer Science