Title: Matemática discreta y lógica matemática / Logic and Discrete mathematics