TY - JOUR AU - Jorge Herrera TI - Sur La Logique De Premier Ordre Et La Théorie Des Catégories. JO - Revista colombiana de matematicas PY - 1984 SP - 41 EP - 82 VL - 18 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RCM_1984__18_181733/ ID - RCM_1984__18_181733 ER -