TY - BOOK AU - Hein, James L. TI - Discrete structures, logic, and computability SN - 9789384323264 (pbk) U1 - 511.3 PY - 2017/// CY - New Delhi PB - Jones & Bartlett learning KW - Discrete structures KW - Mathematics KW - Construction techniques KW - Language-Automata KW - Elementary notions KW - Binary relations KW - Inductive proof KW - Graph theory KW - Applied logic KW - Computability KW - Functions KW - Notation KW - Logic KW - RICAS N1 - Includes references, glossary and index ER -