TY - BOOK AU - Hein,James L TI - Discrete structures, logic, and computability / SN - 81-7319-562-5 U1 - 005.1 PY - 2004/// CY - New Delhi PB - Narosa KW - Mathematics KW - Discrete mathematics N1 - Inlcudes index ER -