000 01280nam a2200277 a 4500
035 _a12670
090 _aPEI 00119
100 _aCaicedo Ferrer, Xavier.
245 _aInforme de actividades 1996 - 1997.
260 _aBogota
_bUniversidad de los Andes
_c1997
300 _a144 p.
_c28 cm.
500 _aSeleccionado en la convocatoria de 1994.
590 _acombinatorics (1995); p. 1-14. -- ISSN 09259899. -- The abstractcompactness theorem revisited. -- En: Logic
590 _ain florence selected contributed papers, LMPS'95 (1995); p. 1-13. -- Conectivos intuicionistas sobre espacios
590 _atopologicos. -- En: Revista de la academia colombiana de ciencias exactas,fisicas y naturales (1997); p.
590 _a1-15. -- ISSN 03703908. -- Report on the X- Latin Americansymposium on mathematical logic. -- En: The
590 _abulletin of symbolic logic. -- Vol. 2, no. 2 (Jun. 1996);p. 214. -- ISSN10798986.
590 _aARTICULO(S) EN REVISTA: Subdirect decomposition of n-chromaticgraphs. --En: Journal of algebraic
650 _aLOGICA MATEMATICA
650 _aTOPOLOGIA
650 _aLOGICA SIMBOLICA Y MATEMATICA
650 _aMATEMATICAS
700 _aKrynicki, Michal.
700 _aMiraglia, Francisco.
942 _2ddc
_cBK
999 _c11969
_d11969