TY  - BOOK
AU  - Hein,James L.
TI  - Discrete structures, logic, and computability
SN  - 0-7637-1843-2
AV  - QA76.9M35 H444 2002
PY  - 2002///
CY  - Sudbury, Massachusetts
PB  - Jones and Bartlett
KW  - Matemáticas computacionales
ER  -