J. Cifuentes Vásquez, «Sobre los meta teoremas de deducción y el concepto de "implicación lógica&quot»;, ARETE, vol. 2, n.º 1, pp. 31-48, dic. 1990.