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