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