Foundations of Constructive Mathematics Metamathematical Studies (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics (Berlin: Springer, 1985)