Lógica para informáticos - Nieuwenhuis, Robert; Nivela Alós, Pilar; Farré Cirera, Rafael; Nieuwenhuis, Robert; Nivela Alós, Pilar; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Sierra Santibáñez, Josefina (Alfaomega Grupo Editor, 2012)