LA UTILIDAD MATEMATICA DE LA FORMALIZACION - Dubarle, Dominique (SEGUNDA, 1958)