TY  - BOOK
AU  - HEIN, JAMES L.
TI  - DISCRETE STRUCTURES, LOGIC ANF COMPUTABILITY
AV  - QA 76.9 .M 35 H45 2002 
ER  -