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