Hein, James L. Discrete structures, logic, and computability / James L. Hein. - 2nd ed. - xvi, 943 p. : ill. ; 24 cm. ISBN: 0763718432 LCCN: 2001038122 Subjects--Topical Terms: Computer science--Mathematics LC Class. No.: QA76.9.M35 / H44 2001