More constructively about the constructibility
1977 ◽
pp. 329-358