Logic, Language, and Computation - Aher; Hole, Daniel; Jeřábek, Emil; Kupke, Clemens (Springer Berlin Heidelberg, 2015)