Benito
García Noriega
Publicacións nas que colabora con Benito García Noriega (1)
1986
-
Cálculo automático de matrices para sistemas implicativos
Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984