TY  - BOOK
AU  - HEIN, JAMES
TI  - DISCRETE MATHEMATICSLOGIC AND COMPUTABOLITY
T2  - N
PY  - 2004///
PB  - NAROSA
ER  -