Title: Foundations of constructive mathematics : metamathematical studies /
Authors: Beeson, Michael J., 1945-
Publisher: Springer-Verlag,
Year: 1985
Subjects: Constructive mathematics.