TY - BOOK AU - Haggarty, Rod. TI - Discrete mathematics for computing / SN - 9780201730470 AV - QA76.9 .M35H34 2002 PY - 2002/// CY - Harlow, England ; PB - New York : Addison-Wesley, N1 - Includes bibliographical references (p. 232) and index; Introduction -- Logic and proof -- Set theory -- Relations -- Functions -- Combinatorics -- Graphs -- Directed graphs -- Boolean algebra ER -