Discrete Structures, Logic, and Computability 
Hein, James L 
 - London  Jones and Bartlett  1995 
 - xx;866p  Table;Index  23cm 
<br/><br/><label>Dewey Class. No.: </label>005.01 HEI  / 0005125