Logic, Language, and Computation - Cate, Balder D. (Springer Berlin Heidelberg, 2007)