"Causey, Robert L" <br/><br/>
"Logic, Sets, and Recursion" 

 - \\200902ENGGPSX 
 - Jones and Bartlett  2009  New Delhi 
 - 512p. 
<br/><br/> includes index and biblioraphy