Logic, Language, Information, and Computation - Kohlenbach; Barceló, Pablo; de Queiroz, Ruy J. G. B. (Springer Berlin Heidelberg, 2014)