TY  - BOOK
AU  - HEIN, JAMES L
TI  - DISCRETE STRUCTURES LOGIC AND COMPUTABILITY 
SN  - 0763709719
U1  - 511.622 O03 
PY  - 2003///
CY  - SUDBURY
PB  - JONES & BARTLETT
ER  -