“La Fórmula de Barcan Es Equivalente Al Teorema de Deducción”. Areté, vol. 4, no. 2, Sept. 1992, pp. 323-35, https://doi.org/10.18800/arete.199202.001.