Hein, James L., Discrete structures, logic, and computability / James L. Hein - 2nd ed. - xvi, 943 páginas : ilustraciones ISBN: 0-7637-1843-2 Subjects--Topical Terms: Matemáticas computacionales LC Class. No.: QA76.9M35 / H444 2002