Benito
García Noriega
Publications by the researcher in collaboration with Benito García Noriega (1)
1986
-
Cálculo automático de matrices para sistemas implicativos
Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984