Publicaciones en las que colabora con Benito García Noriega (1)

1986

  1. Cálculo automático de matrices para sistemas implicativos

    Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984