Oferta Lógica y Matemáticas discretas en la informática. El estilo calculatorio Jaime Alejandro Bohórquez Villamizar