Discrete Structures, Logic and Computability - HEIN, JAMES L. (New Delhi : Narosa Publishing, 2002)
Keywords: Computation : Logic