TY - BOOK AU - Acevedo Vélez, Diana Patricia AU - Arango Parra, Juan Carlos TI - Lógica y teoría de conjunto T2 - Formación. Matemática. Univeridad de Antioquia SN - 9789587149364 U1 - 511.3 PY - 2020/// CY - Medellín PB - Universidad de Antioquia , KW - Teoría de conjuntos N1 - cap.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. ER -