Hein, James L Discrete structures logic and computability - 4th - Burlington Jones and Bartlett Learning 2017 - xiv,1039p p. ISBN: 9781284070408 Subjects--Index Terms: Computer science -mathematics