TY  - BOOK
AU  - Hein,James L.
TI  - Discrete structures, logic, and computability 
SN  - 086720477X
AV  - QA76.9.M35  H45 1994
PY  - 1994///
CY  - Boston, Massachusetts : 
PB  - Jones and Bartlett Publishers, 
KW  - Matemáticas computacionales
KW  - Programación lógica
KW  - lemb
KW  - Estructura de datos (Computación)
KW  - Lógica simbólica y matemática
N1  - Incluye índice
ER  -