Cifuentes Vásquez JC. La Fórmula de Barcan es equivalente al Teorema de Deducción. ARETE [Internet]. 3sep.1992 [citado 4may2024];4(2):323-35. Available from: https://revistas.pucp.edu.pe/index.php/arete/article/view/7418