TY  - GEN
AU  - Hein, James L.
TI  - Discrete structures, logic, and computability
SN  - 086720477X
AV  - QA76 
U1  - 005/.01/5113 20
PY  - 1995///
CY  - Boston
PB  - Jones and Bartlett
KW  - Computable functions
KW  - Computer science
KW  - Data structures Computer science
KW  - Logic Symbolic and mathematical
N1  - Includes bibliographical references (p. 845-849) and index
ER  -