Puzzles in Logic, Languages and Computation : The Green Book - Dragomir Radev ((Recreational Linguistics))