Lógica y matemáticas para ciencias de la computación - Barboza Gutiérrez, Fidel (Universidad Piloto de Colombia, 2012)