Text this: Puzzles in Logic, Languages and Computation