Epstein, R. L. <br/><br/>
Computability computable functions, logic and the foundations of mathematics 

 - California  Wadsworth&Brooks/Cole Advanced Books  1989 
 - xvii, 297p. 
 - Wadsworth&Brooks/Cole mathematics series .
<br/><br/><label>ISBN: </label>0-534-10356-1