TY - BOOK AU - Hein, James L TI - Discrete, Structures, logic & computability U1 - 511 PY - 2013/// PB - Johnes & Bartlett ER -