TY  - BOOK
AU  - Hein,James L.
TI  - Discrete structures, logic, and computability
SN  - 9780763772062 (hardcover)
U1  - 004.015 22
PY  - 2010///
CY  - New Delhi, Boston
PB  - Jones and Bartlett
KW  - Computer science
KW  - Mathematics
KW  - Logic programming
KW  - Data structures (Computer science)
KW  - Logic, Symbolic and mathematical
KW  - Computable functions
N1  - Includes bibliographical references (p. 981-985) and index
ER  -