TY  - BOOK
AU  - Hein,James L.
TI  - Discrete structures, logic, and computability
SN  - 0763718432
U1  - 004.01511 21
PY  - 2001///
CY  - Boston
PB  - Jones and Bartlett Publishers
KW  - Computer science
KW  - Mathematics
N1  - Includes bibliographical references (p. 915-919) and index
UR  - http://www.loc.gov/catdir/toc/fy031/2001038122.html
ER  -