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