Logic, Language, Information, and Computation - Moss (Springer Berlin Heidelberg, 2018)