000 01329caa a2200325 i 4500
999 _c59908
_d59908
005 20200422154417.0
008 160202s2010 ck ||||g |||| 001 0dspa d
020 _a9789587410754
040 _aCo-BrCUA
_bspa
_erda
041 0 _aspa
082 0 4 _221
_a004.0151
_bG984 2010
100 1 _aGutiérrez García, Ismael
_913684
245 1 0 _aMatemáticas para informática /
_cIsmael Gutiérrez García.
250 _aPrimera edición
264 1 _aBarranquilla :
_bEdiciones Uninorte,
_c2010.
300 _ax, 188 páginas ;
_c24 cm.
336 _2rdacontent
_atexto
337 _2rdamedia
_asin medio
338 _2rdacarrier
_avolumen
500 _aIncluye alfabeto griego en la página 179
500 _aIncluye índice de nombres en la página 183
500 _aIncluye índice alfabético en la página 185
504 _aIncluye referencias bibliográficas en la página 181
505 0 _aParte I. Lógica matemática: 1. Cálculo proposicional -- 2. Introducción a la lógica de primer orden --
505 0 _aParte II. Teoría de conjuntos: 3. El sistema axiomático ZF
650 1 7 _2LEMB
_913681
_aComputadores matemáticas
650 1 7 _2LEMB
_91187
_aLógica simbólica y matemática
650 1 7 _2LEMB
_96752
_aTeoría de conjuntos
942 _2ddc
_cBK
_h004.0151
_iG984 2010
_02