TY - BOOK AU - HEIN, JAMES L TI - Discrete Structures, Logic, and Computability SN - 9789380108391 U1 - 511.1 PY - 2010/// CY - Delhi PB - JONES AND BARTLETT PUBLISHERS KW - MATHEMATICS KW - COMPUTABLE FUNCTIONS KW - LOGIC, SYMBOLIC AND MATHEMATICAL ER -