Stav dette: Matemática discreta y lógica: una perspectiva desde la ciencia de la computación