Logic, Language, Information and Computation - Beklemishev, Lev D. (Springer Berlin Heidelberg, 2011)