TY - GEN AU - Hein, James L. TI - Discrete Structures Logic & Computability SN - 9781284070408 (hb) U1 - 005.115 HEI/Dis PY - 2017/// CY - Burlington PB - Jones & Barlett Learning ER -