Lógica para informáticos - Nieuwenhuis, Robert (Alfaomega Grupo Editor, 2012)