Text this: Lógica simbólica y lógica aplicada a la matemática