Sobre los meta teoremas de deducción y el concepto de "implicación lógica". ARETE 1990, 2 (1), 31-48. https://doi.org/10.18800/arete.199001.002.