Cifuentes Vásquez, José Carlos. La Fórmula De Barcan Es Equivalente Al Teorema De Deducción. Areté 4, no. 2 (septiembre 3, 1992): 323-335. Accedido mayo 5, 2024. https://revistas.pucp.edu.pe/index.php/arete/article/view/7418.