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