Logic, Language, Information, and Computation - Libkin, Leonid; Kohlenbach, Ulrich; de Queiroz, Ruy; de Queiroz, Ruy; Kohlenbach, Ulrich (Springer Berlin Heidelberg, 2013)