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