%0 Journal Article %A Jorge Herrera %T Sur La Logique De Premier Ordre Et La Théorie Des Catégories. %J Revista colombiana de matematicas %D 1984 %P 41-82 %V 18 %I mathdoc %U http://geodesic.mathdoc.fr/item/RCM_1984__18_181733/ %F RCM_1984__18_181733