Foundations of constructive mathematics : metamathematical studies - Beeson, Michael J., 1945- (Springer-Verlag, 1985)