Discrete structures, logic and computability

Hein, James L.

Discrete structures, logic and computability Hein, James L. - 3rd ed. - Jones and Bartlett 2010