Benito García Noriega-rekin lankidetzan egindako argitalpenak (1)

1986

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

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