TY  - BOOK
AU  - HEIN JAMES
TI  - DISCRETE STRUCTURES LOGIC AND COMPUTABILITY 
U1  - 511.3,HEI 
PY  - 2013///
PB  - Jones and Bartlett Publishers International
ER  -