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