Hein, James L Discrete Structures, Logic, and Computability/ - NewDelhi Jones & Bartlet Learning 2017 - 1039p. ISBN: 9789384323264