TY - BOOK AU - Hein, James L TI - Discrete Structures,Logic,And Computability PY - 2010/// CY - New Delhi PB - Jones And Bartlet ER -