CIFUENTES VÁSQUEZ, José Carlos. Sobre los meta teoremas de deducción y el concepto de "implicación lógica". Areté, [S. l.], v. 2, n. 1, p. 31–48, 1990. DOI: 10.18800/arete.199001.002. Disponível em: https://revistas.pucp.edu.pe/index.php/arete/article/view/4996. Acesso em: 28 dic. 2025.