Puzzles in Logic, Languages and Computation - Radev, Dragomir; Pustejovsky, James (Springer Berlin Heidelberg, 2013)