Text this: Una introducción matemática a la lógica