TY - BOOK AU - Hein,James L. TI - Discrete structures, logic, and computability SN - 0763718432 AV - QA 9.56 U1 - 004 21 PY - 2002/// CY - Sudbury, Mass. PB - Jones and Bartlett Publishers KW - Datavetenskap KW - sao KW - Computer science KW - Mathematics ER -