Logic, Language, Information, and Computation - Kennedy (Springer Berlin Heidelberg, 2017)