Volver atrás Publicación
Piris Ruano Francisco Javier, Ramírez Quintana María José
1993
An implementation of equational Constructive Negation