000 01123nam a2200325 4500
999 _c19534
_d19529
003 CO-MdCUR
005 20230714163045.0
007 ta
008 170814s2020 ck ||||fr|||| 00| 0 spa d
020 _a9789587149364
020 _a9789587149371
040 _aCO-MdCUR
_erda
041 _aspa
082 _a511.3
_bA174
100 _948411
_aAcevedo Vélez, Diana Patricia
245 1 _aLógica y teoría de conjunto
250 _a1a edición
264 1 _aMedellín :
_bUniversidad de Antioquia ,
_c2020.
300 _a186 páginas :
_c24x17 cm.
490 _948412
_aFormación. Matemática. Univeridad de Antioquia
505 2 _acap.1. Sistemas formales.-- cap.2.Lógica proposicional.-- cap.3.Lógica cuantificacional.-- cap.4.Métodos de demostración.-- cap.5.Teoría de conjuntos.-- cap.6.Relaciones.
650 1 0 _935986
_aTeoría de conjuntos
700 _948413
_aArango Parra, Juan Carlos
942 _2ddc
_cBK