Fundamentos de Lógica y Teoría de Conjuntos