Publicaciones en las que colabora con Antonio Benítez (1)

1985

  1. Prueba automática para las lógicas LE, K, T y S4

    Teorema: Revista internacional de filosofía, Vol. 15, Núm. 1, pp. 213-230