Lógica para informáticos - Farré Cirera, Rafael (Alfaomega Grupo Editor ; Barcelona, España : Marcombo, 2012)