TY  - BOOK
AU  - Hein, James L.
TI  -  Discrete Structures, Logic, and Computability
SN  - 9780763772062
AV  - QA76.9 .M35 H44 2010 10516
PY  - 2010///
CY  - Boston
PB  - Jones and bartlett publishers 
KW  - 1.Computer science -- Mathematics. 2.Logic programming. 3.Data structures (Computer science) 4.Logic, Symbolic and mathematical. 5.  Computable functions.
N1  - Includes bibliographical references and index
ER  -