Beeson, Michael J. <br/><br/>
Foundations of constructive mathematics: Metamathematical Studies 
Michael J. Beeson 
 - Berlin  Springer  1985