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