TY - BOOK AU - Hein James L TI - Discrete structures,logic,and computability U1 - D6,8(B2895), (Q0) (Q0;2) (Q0;4) PY - 2010/// CY - New Delhi PB - Jones & Bartlett Learning KW - I I C ER -