CIFUENTES VÁSQUEZ, J. Sobre los meta teoremas de deducción y el concepto de "implicación lógica". Areté, v. 2, n. 1, p. 31-48, 15 dez. 1990.