TY - BOOK AU - Hein, James L. TI - Discrete structures, logic, and computability SN - 9789384323264 U1 - 005.115 PY - 2017/// CY - Burlington, MA PB - Jones & Bartlett Learning KW - Discrete Structure KW - Logic KW - CS ER -