TY  - BOOK
AU  - Hein, James L
TI  - Discrete structures, logic, and computability
SN  - 0-7637-1843-2
U1  - 004.01511 HEI 
PY  - 2002///
CY  - BOSTON
PB  - JONES AND BARTLETT PUBLISHER
KW  - COMPUTER SCIENCE-MATHEMATICS DISCRETE LOGIC AND COMPUTABILITY
ER  -