«La Fórmula de Barcan es equivalente al Teorema de Deducción». Areté 4, no. 2 (septiembre 3, 1992): 323–335. Accedido septiembre 19, 2026. https://revistas.pucp.edu.pe/index.php/arete/article/view/7418.