HEIN, JAMES L. <br/><br/>
DISCRETE STRUCTURES, LOGIC ANF COMPUTABILITY 

<br/><br/><label>LC Class. No.: </label>QA 76.9 .M 35 H45 2002