Lógica simbólica para informáticos - Julián Iranzo, Pascual (Alfaomega, 2005)