Lógica simbólica para informáticos - Iranzo, Pascual Julián (España : Ra-Ma, 2004)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; CIENCIAS DE LA COMPUTACION -- MODELOS MATEMATICOS