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