TY  - BOOK
AU  - Hein, James L. 
TI  - Discrete structures, logic, and computability
SN  - 9789380108391
U1  - 004.015113 H3642i3 
PY  - 2010///
CY  - New Delhi
PB  - Jones and Bartlett
KW  - Logic Programming
KW  - Logic, Symbolic and mathematical
KW  - Computable functions
KW  - Computer science
KW  - Mathematics
ER  -