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