Lógica para informáticos. - Farré Cirera, Rafael (Alfaomega, 2013)