Hein, James L. Discrete structures, logic, and computability [Book] / James L. Hein. - 2nd ed. - Boston : Jones and Bartlett Publishers, 2002. - xvi, 943 p. : ill. ; 24 cm. Includes index All. ISBN: 0763718432 Subjects--Topical Terms: Computer science--Mathematics. Dewey Class. No.: