J. Báez, «Consecuencia lógica y lenguaje de orden superior», Logoi, n.º 16, mar. 2012.