Discrete structures, logic, and computability - Hein, James L. (Sudbury, Mass. : Jones and Bartlett, 1995)
Keywords: CIENCIAS DE LA COMPUTACION; ESTRUCTURA DE DATOS (COMPUTADORAS); LOGICA, SIMBOLICA Y MATEMATICA; FUNCIONES COMPUTABLES