Describir: Lógica y matemáticas discretas en la informática :