Cifuentes Vásquez, J. C. Sobre Los Meta Teoremas De deducción Y El Concepto De "implicación lógica". ARETE 1990, 2, 31-48.