Cifuentes Vásquez, J. C. (1992). La Fórmula de Barcan es equivalente al Teorema de Deducción. Areté, 4(2), 323-335. https://doi.org/10.18800/arete.199202.001