Lógica simbólica para informáticos - Julián Iranzo, Pascual (México : Alfaomega, 2005)
Keywords: LOGICA SIMBOLICA; COMPUTACIÓN; MODELOS MATEMATICOS; INFORMATICA