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