Hein, James L.

Discrete structures, logic, and computability / James L. Hein. - 2nd ed. - New Delhi : Narosa Publishing House, 2002. - xvi, 943 p. ill. 23.5 cm.

8173195625 9788173195624


Discrete- time systems
Logic, Symbolic and mathematical
Logic programming

003.83 / HEI