Hein, James L. Discrete structures, logic and computability James L. Hein - 3rd ed. - Burlington Jones & Bartlett Learning 2013 - xiv, 1009p ISBN: 9789380853391 895.00