Seol mar théacs é seo: Introducción a la lógica deductiva y teoría de los conjuntos