TY - BOOK AU - Hein, James L TI - Discrete Structures, Logic, and Computability U1 - HEI-D3 PY - 2010/// CY - London PB - Jones and Barelett KW - Mathematics ER -