TY - GEN AU - Hein, James L. TI - Discrete Structures, Logic and Computability SN - 978-93-80853-39-1 U1 - 510.240901 PY - 2013/// CY - Burlington PB - Jones and Bartlett Learning ER -