Text this: Introducción a la lógica deductiva y teoría de los conjuntos