Cifuentes Vásquez, J. C. (1990) «Sobre los meta teoremas de deducción y el concepto de “implicación lógica”», Areté, 2(1), pp. 31–48. doi: 10.18800/arete.199001.002.