Hein, James L Discrete structures, logic and computability - 4 - ND Jones and Bartlett India 2017 Dewey Class. No.: 511.1 / HEI.D