Puzzles in Logic, Languages and Computation innbundetEngelsk, 2013