Foundations of constructive mathematics : metamathematical studies - Beeson, Michael J., 1945- (Berlin : Springer-Verlag, 1985)
Includes bibliography and indexes.
Keywords: Constructive mathematics