Foundations of Constructive Mathematics  Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics 
/by Michael J. Beeson  
 - Berlin:  Springer,  1985. 
<br/><br/><label>ISBN: </label>3540121730 
<br/><br/><label>Dewey Class. No.: </label>511.3  / BEE/F