Ferro y los procedimientos decisorios de la lógica. ARETE 1995, 7 (2), 227-243. https://doi.org/10.18800/arete.199502.003.