Logic, Language, and Computation - Bezhanishvili (Springer Berlin Heidelberg, 2013)