Rosales Papa, D. Ferro Y Los Procedimientos Decisorios De La lógica. ARETE 1995, 7, 227-243.