TY - BOOK AU - "Hein, James L." TI - "Discrete structures, logic, and computability" SN - 9789380108391 U1 - 005.015113 PY - 2010/// CY - new dlehi PB - Jones & Bartlett Publishers ER -