TY - BOOK AU - Hein, James L TI - Discrete structures, logic and computability U1 - 004.0151 Q0 PY - 2010/// CY - New Delhi PB - Jones and Bartlett Publishers KW - Computer KW - Computer applications KW - Mathematical analysis KW - Mathematical logics ER -