TY  - GEN
AU  - Hein, James L.
TI  - Discrete Structures, Logic, and Computability
SN  - 9781284070408
U1  - 004.0151  
PY  - 2017///
CY  - Burlington, MA
PB  - Jones and Bartlett Learning
KW  - Computer Science-Mathematics
KW  - Logic, Symbolic and methematical
KW  - Computable functions
N1  - including bibliography and index
ER  -