Beeson, Michael J.,  1945- <br/><br/>
Foundations of constructive mathematics:  metamathematical studies/ 
Michael J. Beeson. 
 - Berlin ;  New York:  Springer-Verlag,  c1985. 
 - xxiii, 466 p.:  ill.;  25 cm. 
 - Ergebnisse der Mathematik und ihrer Grenzgebiete;  3. Folge, Bd. 6 .
<br/><br/> Includes indexes. 
<br/><br/>Bibliography: p. [439]-449. 
<br/><br/><label>ISBN: </label>0387121730 (U.S.) 
<br/><br/><label>LCCN: </label>84010583 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Constructive mathematics.
<br/><br/><label>Dewey Class. No.: </label>511.3  / B415f