Logic, Language, Information, and Computation - Moss; Maricarmen Martinez; Ruy de Queiroz; de Queiroz, Ruy; Martinez, Maricarmen (Springer Berlin Heidelberg, 2018)