Hein, James L.
Discrete structures, logic, and computability
- 2nd ed.
- Sudbury: Jones & Bartlett, 2002
- xvi, 943 p.; ill.: 25 cm.
9780763718435 hbk
Computer science - Mathematics
Logic programming
Data structures
Computable functions
004.01511 / HEI