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