Logic, Language, Information, and Computation - de Paiva (Springer Berlin Heidelberg, 2015)