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