HEIN, JAMES L. Discrete Structures, Logic and Computability - 2nd ed. - New Delhi : Narosa Publishing 2002 - 943 p. ISBN: 0008173195625 Subjects--Topical Terms: Computation : Logic Dewey Class. No.: 004.0151 / H23