Αποστολή με SMS: Puzzles in Logic, Languages and Computation