TY  - BOOK
AU  - Hein, James L.
TI  - Discrete structures, logic, and computability
SN  - 8173195625
U1  - 004.01511 
PY  - 2002///
CY  - New Delhi
PB  - Narosa Pub
KW  - Computer science
ER  -