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