Lógica y matemáticas discretas en la informática : el estilo calculatorio - Bohórquez Villamizar, Jaime Alejandro (Colección de informática., 2012)