Language, Logic, and Computation - Silva (Springer Berlin Heidelberg, 2019)