TY - BOOK AU - Hein, James L. TI - Discrete structures, logic and computability SN - 9789380853391 PY - 2013/// CY - Burlington PB - Jones & Bartlett Learning ER -