Cifuentes Vásquez, J. C. La Fórmula De Barcan Es Equivalente Al Teorema De Deducción. ARETE 1992, 4, 323-335.