Cifuentes Vásquez JC. Sobre los meta teoremas de deducción y el concepto de "implicación lógica". ARETE [Internet]. 15 de diciembre de 1990 [citado 17 de marzo de 2026];2(1):31-48. Disponible en: https://revistas.pucp.edu.pe/index.php/arete/article/view/4996