TY  - GEN
AU  - Hein, James L
TI  - Discrete structures, logic, and computability
SN  - 9789384323264
U1  - 004.0151 
PY  - 2017///
CY  - New Delhi
PB  - Jones & Bartlett Learning
KW  - Logic, symbolic and mathematical
KW  - Computable functions
KW  - Data structures computer science
KW  - Computer science mathematics
KW  - Logic programming
KW  - Computer science
N1  - Its includes index and glossary
ER  -