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.