TY  - BOOK
AU  - Hein, James L
TI  - Discrete structures, logic, and computability
SN  - 9780763709716
SN  - 200805574
U1  - 004.0151 HEI 
PY  - 2003///
CY  - Sudbury, Mass
PB  - Jones and Bartlett Publishers
KW  - Computable functions
KW  - Computer science - Mathematics
KW  - Data structures (Computer science)
KW  - Logic programming
KW  - Logic, Symbolic and mathematical
ER  -