Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)…
Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)…