Logic, Language, Information, and Computation - Alexandra Silva, Renata Wassermann, Ruy de Queiroz (Springer, 2021)