Αποστολή με SMS: Discrete structures, logic and computability