TY  - BOOK
AU  - Hein,James L
TI  - Discrete structures, logic and computability
SN  - 978-93-80108-39-1
U1  - 004.0151 
PY  - 2010///
CY  - Boston
PB  - Jones and Bartlett
KW  - Computable functions
KW  - Computer science-mathematics
KW  - Data structures (Computer science)
KW  - Logic programming
KW  - Mathematical logic
KW  - Symbolic logic
ER  -