La Fórmula de Barcan Es Equivalente Al Teorema de Deducción. ARETE 1992, 4 (2), 323-335. https://doi.org/10.18800/arete.199202.001.