Αποστολή με SMS: Structures in logic and computer science