Sobre los meta teoremas de deducción y el concepto de "implicación lógica". ARETE [Internet]. 1990 Dec. 15 [cited 2026 Sep. 19];2(1):31-48. Available from: https://revistas.pucp.edu.pe/index.php/arete/article/view/4996