Logic, Language, Information, and Computation - Vaananen, Jouko;Hirvonen, Asa;Queiroz, Ruy de; de Queiroz, Ruy; Hirvonen, Asa; Queiroz, Ruy de (Springer Berlin Heidelberg, 2016)