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