“Sobre los meta teoremas de deducción y el concepto de ‘implicación lógica’”, ARETE, vol. 2, no. 1, pp. 31–48, Dec. 1990, doi: 10.18800/arete.199001.002.