Constructive sets in computable sets
scientific article; zbMATH DE number 1082956
scientific article