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