Lógica simbólica para informáticos - Iranzo, Pascual Julián (Ra-Ma, 2004)