Title: Matemática discreta y lógica matemática