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