Ferro Y Los Procedimientos Decisorios de la Lógica. ARETE 1995, 7 (2), 227-243. https://doi.org/10.18800/arete.199502.003.