Cifuentes Vásquez, José Carlos. «La Fórmula De Barcan Es Equivalente Al Teorema De Deducción». Areté, vol. 4, n.º 2, septiembre de 1992, pp. 323-35, doi:10.18800/arete.199202.001.