Hein,James L <br/><br/>
Discrete structures logic and computability 
James LHein 
 - 3rd 
 - New Delhi  Jones Bartlet  2010 
 - xiv,1009 
<br/><br/><label>Dewey Class. No.: </label>511.3  / HE-D