Text this: Lógica: conceptos, formalización y aplicación en los sistemas computacionales