Ferro y los procedimientos decisorios de la lógica. Areté, v. 7, n. 2, p. 227–243, 30 jul.1995.