Sobre los meta teoremas de deducción y el concepto de "implicación lógica". Areté, v. 2, n. 1, p. 31–48, 15 dic.1990.