TY - BOOK AU - Hein, James L TI - Discrete structures logic and computability SN - 9781284070408 PY - 2017/// CY - Burlington PB - Jones and Bartlett Learning KW - Computer science -mathematics ER -