LÓGICA Y TEORÍA DE CONJUNTOS