Lógica para computación - López Román, Leobardo (Alfaomega, 2012)