Predicativity and constructive mathematics
scientific article; zbMATH DE number 7598443
scientific article