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