Cifuentes Vásquez J. Sobre los meta teoremas de deducción y el concepto de "implicación lógica". ARETE [Internet]. 15Dec.1990 [cited 18May2024];2(1):31-8. Available from: https://revistas.pucp.edu.pe/index.php/arete/article/view/4996