«Sobre los meta teoremas de deducción y el concepto de “implicación lógica”». Areté, vol. 2, n.º 1, diciembre de 1990, pp. 31-48, https://doi.org/10.18800/arete.199001.002.