Báez, J. Consecuencia lógica Y Lenguaje De Orden Superior. Logoi 2012.