Logic, Language, Information, and Computation - Kennedy; de Queiroz, Ruy J. G. B. (Springer Berlin Heidelberg, 2017)