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