TY - BOOK AU - Hein, James L. TI - Discrete structures, logic, and computability SN - 9789380108391 U1 - 004.0151 PY - 2010/// CY - New Dehli,India PB - Jones and Bartlett Learning KW - Computer science ER -